pub fn neg_att(atoms: &[SAtom]) -> &SAtom