SMS dit: Foundations of set theory