NP formalism