So that and that would cancel out. So if you do 36 divided by 36 minus 9 factorial, you just get the first, I guess the largest 9 terms of 36 factorial, which is exactly what we have over there. So that is that. And then we divided it by 9 factorial. And we divided it by 9 factorial. And this right here is called 36 choose 9. And sometimes you'll see this formula written like this.