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. We still don't know the true proportion. We still don't know what that is. But we can estimate it.