let p_not a   = Fol.p_not a