let
p_implies a b =
Fol
.p_implies a b