@alexbellos yes P = probs s.t. solns can be found in poly time, NP probs s.t. solns can be checked in poly time. P is in NP, but is NP in P?