let
p_implies h p =
Fol
.p_implies h p