SMS dit: Set theory.