So this sampling distribution, let me write this, the sampling distribution of the sample proportion, so it's going to have some mean over here, so the mean of the sampling distribution of the sample proportion, and we've seen it multiple times. It's going to be the same thing as the mean of the population, and the mean of the population is actually the true population proportion. So this is going to be equal to P1. 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.