So we're going to have a fatter curve. It's going to have a bigger variance or a bigger standard deviation than either of these. So then we have some variance here. Variance of x bar minus y bar. Now, what are these in terms of the original population distribution? Well, we came up with those results right over here. We know what the standard deviation.