Tested the existence of atoms[from] and atoms[to]