"War is an abomination, but it is also a revealer of souls."
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.