PPP ⊆ TFNP Inclusion · folklore Statement Every problem in PPP has a solution on every input, guaranteed by the combinatorial principle defining the class, and solutions are verifiable in polynomial time, so PPP ⊆ TFNP — folklore.