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. And we've done this multiple times. Same exact logic as this. The population distribution for y divided by m. And so once again, I'll just write this out front.