Sniffnoy comments on Complexity and halting

[Sniffnoy]

Yes, but if he had, he would have known which way the question is resolved, because unlike the actual solution that is easily findable.