Loading Open Internet
    There's a part in Turing's halting problem proof that I don't understand