[deleted] comments on Magic and the halting problem