let
p_iff =
PRED
.p_iff