let
p_or a b =
Fol
.p_or a b