 Class Comprehension: For any formula \(\phi\), there is a class \(\{x \mid \phi(x)\}\) which contains all sets \(x\) such that \(\phi(x)\). (note that this is the class comprehension axiom of Kelley-Morse set theory, without any restrictions on quantifiers in \(\phi)\).