wizard comments on Magic and the halting problem