SMS dit: Basic set theory.