> Definitely no multiples. What would that even mean, also you would need unbounded space for multiples of just two atoms.
I have a list and I want to assign a unique ID to each list item. Each list item itself contains one or more items:
1. My umbrella [ID "a"] and my sunglasses [ID "b"]
2. My umbrella ["a"], my sunglasses ["b"], and my umbrella ["a"]
List item 2 contains two references to my umbrella [ID "a"].