Prefer add-to-list to push. (The former ensures uniqueness.)