In the above proof, one must exchange the machine EvalS with EvalΣ and Clean with Increment — a simple TM, searching for a first 0 on the tape and replacing it with 1.
W powyższym dowodzie należy zamienić maszynę EvalS na EvalΣ i Clean na Increment – prostą maszynę Turinga wyszukującą pierwszego 0-a na taśmie i zastępującą je jedynką.