let atom_is_negatable = Atom.is_negatable