expression(atom = atom) returns atom.