And just to visualize it properly, let me draw the sampling distribution for the sample proportion. So the sampling distribution, we have a large sample size. We have a large sample size here, and especially because the proportions that we're dealing with aren't close to 1 or 0, and we have a large sample size, the sampling distribution will be approximately normal. 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.