So we take our standard deviation of our original distribution. So just that formula that we derived right here would tell us that our standard error should be equal to the standard deviation of our original distribution, 9.3, divided by the square root of n, divided by the square root of 25, right? Four was just the square root of 16. So this is equal to 9.3 divided by five, and let's see if it's 1.87. So let me get my calculator back. So if I take 9.3 divided by five, what do I get? 1.86, which is very close to 1.87.