let mk_neglit a = mk_poslit (Atom.negate a)