Both the set of atoms and the way they are represented in the atom list
is changing a bit.