let
add_hyp h p =
Fol
.pimplies (h, p)