let p_and a b = Fol.p_and a b