Text this: Set theory and model theory