 And I was trying to see, I was trying to answer a question for myself that came from a student, essentially, which is, we're studying this math, and you've told me a few different ways in which I shouldn't expect math to be real in some sense. Well, what do we know is real? And I'd never asked that question myself. But upon reflection, I did.