If this was 7 over 7 minus 2 factorial, we would have 7 times 6, right? And 6 is 1 more than 7 minus 2. So that's where we got that. And we did that in the last video, if you're getting confused. And we also said that there's going to be exactly k terms here. So if you counted these, there's 1, 2, 3, all the way there's going to be k terms here. And so we took care of that, we just rewrote that.