Uniqueness is implemented through:
1. _
2. _
Relate the output with input in terms of simple _ using structures like:
1. length
2. sum
3. set
4. sorted
4. stack
Think about what you can say deterministically about relation between input and output.
axioms/patterns