That's what we're assuming in the null hypothesis. And so this is just 2 of these over here. So this is going to be equal to 2p times 1 minus p, all of that over 1,000. And we're going to take the square root of that. Now this is the standard deviation, once again, of the distribution of this statistic right over here. The sample mean of the sample proportion for the men minus the sample proportion of the women. Now, we still don't know this.