I'm thinking something that has to do with set theory. I don't remember the steps.