Because this is our best estimator for this standard deviation, and if we divide it by 10, we will have our best estimator for the standard deviation of the sampling distribution of the sampling mean. So remember, this is just an estimate. So you kind of have to take everything after this point with a little bit of a grain of salt. So it's going to be roughly equal to, or an estimate of it is going to be 0.5. And remember, every time we take a different sample from here, this number is going to change. So this isn't like something in stone. This is dependent on our sample.