SetTheory: The original version.