let
p_implies =
PRED
.p_implies