The parent&#x27;s wording was a little sloppy, but the point was that the grandparent was incorrectly <i>using</i> the Halting Problem to argue that you can&#x27;t even do it for a meaningful subset of programs, which of course does not follow.