1. Define an invariant property for sorting a list
2. Define an idempotent property for sorting a list
3. Define an inductive property for sorting a list
4. Define a generator for a List[Lists[Int]], such that elements of the nested list are positive
5. Define a generator for a Map[UUID, () => String]