Houshalter comments on Magic and the halting problem