 Though the set \(\{x \mid x \not\in x\}\) is not provided by stratified comprehension, some other sets which are not found in any variant of Zermelo set theory are provided. For example, \(x = x\) is a stratified formula, and the universal set \(V = \{x \mid x = x\}\) is provided by an instance of comprehension. Moreover, \(V \in V\) is true.