SMS dit: Set theory and number