Pf
Difficulty with equivalence.
