And we've seen it in multiple videos already. So this is going to be a normal distribution. And the standard deviation, and we saw this in the last video, and hopefully we've got a little bit of intuition for why this is true. The standard deviation, actually maybe put it a better way. The variance of the sample mean is going to be the variance. So remember, this is standard deviation. So it's going to be the variance of the population divided by n. And if you wanted the standard deviation of this distribution right here, you just take the square root of both sides.