let
p_or =
PRED
.p_or