Definition of NP