let
p_forall =
PRED
.p_forall