What the heck does this function do? There is no "first symbol"; the order of iteration over atoms is arbitrary. We should delete this function .