 And I said to the little boy, no, come on, give me a break. I mean, after all, there are planets, there are stars, and there are galaxies. That's it, kid. There's nothing beyond planets, stars, and galaxies. But the little kid tugged on my pants and said, no, no, professor, you're wrong. There must be type four. And then I realized that, hey, maybe he's right. Maybe I was wrong.