So in the trial we just did, my wacky distribution had a standard deviation of 9.3. When n is equal to, let me do this in another color. When n was equal to 16, just doing the experiment, doing a bunch of trials, and averaging, and doing all the things, we got the standard deviation of the sampling distribution of the sample mean, or the standard error of the mean. We experimentally determined it to be 2.33. And then when n is equal to 25, when n is equal to 25, we got the standard error of the mean being equal to 1.87. Let's see if it conforms to our formulas. So we know that the variance, or we could almost say the variance of the mean, or the standard error, well, you know, the variance of the sampling distribution of the sample mean is equal to the variance of our original distribution divided by n. Take the square roots of both sides, and then you get standard error of the mean is equal to standard deviation of your original distribution divided by the square root of n. So let's see if this works out for these two things.