Programmer Friend: Telling the truth is easy. Algorithmically speaking.
Me: Oh yes?
Programmer Friend: Lying, on the other hand, is co-NP complete.
Me: (delighted) It is?
Programmer Friend: Yeah. Lying is constructing a set of false assertions, which have to be mutually consistent. That’s a lot harder. It’s like writing a proof.