I thought this was going to be about set theory.