Actually, let me just clear that both places. I'm sorry if that confused you when I wrote it earlier. This would be 9 factorial 9 times 8 times 7 times 6 times 5 times 4 times 3 times 2 times 1. Let me copy and paste that now. Copy and then you paste it. That's that right there. And then we have this in the numerator.