let e_false = Fol.e_false