To NP or not to NP, that is the question. Or, what is NP?

In this post I’d like to quickly clarify the levels in computational complexity theory. Oftentimes there is...