let mk_neg p = Neg(p)