pigh
an equivalence
