> No program can tell whether any program will halt or not.

Might try for another wording which isn't easily misunderstood. I was going to suggest every instead of any but that supports a different misunderstanding.