We chose 9. So this numerator over here, this was 36 factorial. But 36 factorial would go all the way down to 27, 26, 25. It would just keep going. But we stopped only 9 away from 36. So this is 36 factorial. So this part right here, that part right there, is not just 36 factorial.