[pseudoramble]

Yeah this really threw me off too. I kept saying no it didn’t solve the halting problem thinking of the more generalized version, not that particular case. Eventually I got it, but not right away!