Text this: Abstract set theory.