DanielLC comments on Magic and the halting problem