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. Because now I'm going to define a new random variable. I'm now going to define a new random variable. That is, well, we could just call it z.