let p_bool a  = Fol.p_eq Langage.e_true a