let
p_not =
PRED
.p_not