didn’t even get to talk about set theory