I didn't even have to calculate it. I could just estimate it. And so we meet that second condition. So even though our population proportion is quite high, it's quite close to one here, because our sample size is so large, it still will be roughly normal. And one way to get the intuition for that is, so this is a proportion of zero. Let's say this is 50%, and this is 100%. So our mean right over here is going to be 0.88 for our sampling distribution of the sample proportions.