Text this: Abstract set theory