Text this: Set theory and logic