let p_bool a  = Fol.p_eq e_true a