P ⊆ NP Inclusion · folklore Statement P ⊆ NP: a polynomial-time decider is a polynomial-time verifier that ignores its certificate (a nondeterministic machine that makes no nondeterministic choices) — folklore.