And remember, this is what's interesting. The factorial operation, this is something that humans have invented, that they think is just an interesting thing. It's a useful notation. So they can define what it does. And mathematicians have found it far more useful to define zero factorial as something else. To define zero factorial as, and there's a little bit of a drum roll here, they believe zero factorial should be one. And I know, based on the reasoning, the conceptual reasoning of this, this doesn't make any sense.