Text this: Set theory for computing