This is something that we don't know about. And then the variance of this, and we've seen this several times already, the variance of this distribution, I have to put a 1 here, we're dealing with the men, the variance of this distribution by the central limit theorem is going to be the variance of this distribution up here, which is P1 times 1 minus P1, over our sample size, over 1,000. And we can do the exact same thing for the women. The exact same thing for the women. So this is the sampling distribution. Let me write it over here. This is the sampling distribution.