let p_xor  a b = Fol.p_xor a b