This is the variance of the mean. The variance of the mean, don't want to confuse you. So the variance of the mean here is going to be the exact same thing. It's going to be the variance of the population divided by our sample size. And everything we've done so far is complete review. It's a little different, because I'm actually doing it with two different random variables. And I'm doing it with two different random variables for a reason.