P
Initializing...
Cook p. 2: $\mathbf{P} \subseteq \mathbf{NP}$ · Prove2Me