> Respectfully, tasks that allow for explicit straightforward true/false or done/not-done tests are not the "hardest real task[s]."

Counterpoint: P vs. NP.