let atom_negate = Atom.negate