Well, even 10% of 125 would be 12.5. So 12% is for sure going to be greater than that. So this too is going to be greater than 10. 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.