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