SMS: Set theory.