So this looks fine. We add up each of those terms. We have minus 2 mu, right? From i equals 1 to, oh, well think about this. What is this? What is this thing right here? Well, actually, let's bring back that n. So this simplified to that divided by n, which simplifies to that whole thing, which simplifies to this whole thing divided by n, which simplifies to this whole thing divided by n, which is the same thing as each of the terms divided by n, which is the same thing as that, which is the same thing as that, which is the same thing as that, right?