let
p_and =
PRED
.p_and