let
add_goal g p =
Fol
.pand (g, p)