This part right here is the same thing as the variance of our population distribution. And the x just means this is for random variable x. But there's no bar on top. This is the actual population distribution, not the sampling distribution of the sample mean. So that divided by n. And then if we want the variance of the sampling distribution for y, let me do that in a different color. I'll use blue because that was what we were using for the y random variable. That's going to be equal to this thing over here.