Jiro comments on Magic and the halting problem