• Initially, x and y both equal zero.
• Each step either increments x by 1 and leaves y unchanged, or increments y by 1 and leaves x unchanged, or else is a stuttering step that leaves both x and y unchanged.
• Infinitely many steps increment x.

               You are in Explanation Mode       Click here for Definition Mode