P
Initializing...
Proposition 5.4 — correct recursive machine with a clocked cost bound · Prove2Me