let
p_and a b =
Fol
.p_and a b