So if I call this the standard error mean, that's wrong. The standard error of the mean is the square root of this. It's the standard deviation. This is the variance of the mean. The variance of the mean, don't want to confuse you. So the variance of the mean here is going to be the exact same thing. It's going to be the variance of the population divided by our sample size.