pTH
Equivalence, manifesting surprises.
