The Halting Problem is a terrible example of NP-Harder