So if you divide by 27 factorial, 27 factorial is 27 times 26, all the way down to 1. Well, this and this are the exact same thing. This is 27 times 26. 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.