Or even better, let's say the standard deviation of this distribution. That distance right over here. The standard deviation of the sampling distribution of the sample mean, we've seen it multiple times already, it's going to be this standard deviation. It's going to be the standard deviation of our population distribution. So that standard deviation is going to be that distance over there. So there's some standard deviation associated with this distribution. It's going to be that standard deviation divided by the square root of our sample size.