let p_eq a b = Fol.p_eq a b