- Coarsest where a [purity theorem.md](purity theorem.md) holds
- Finest where [K-Theory.md](Unsorted/K-theory.md) is representable.