 ZFC avoids Russell’s Paradox, even though all its member-sets are on all fours, within an untyped universe. This is because its universe V itself is not a set. By not espousing any powerful enough set-abstraction principle, the set theorist avoids Russell’s paradox. Partitioning the universe of discourse into types appears to have been a methodologically costly over-reaction to the problem of Russell’s Paradox. The latter would of course be re-instated if one were ever to treat the universe V as a set. Simply apply the Axiom Scheme of Separation 