p IGH
Equivalence, manifesting.
