But for the moment, isn't that the free_symbol comes handy instead of atoms()