Thus, what is required is not that all proper classes be the size of the class of all sets, but that every proper class has at least as many members in 𝛺ₚ as there are sets in 𝛺₂, whatever is in 𝛺₂.