pZ
Equivalence, manifesting constraint.
