But here we're assuming a population proportion. So we're assuming it is 0.08. And then we'll multiply that times one minus 0.08. So we'll multiply that times 0.92. And this comes straight from, we've seen it in previous videos, the standard deviation of the sampling distribution of sample proportions. And then you divide that by n, which is 200 right over here. And we could get a calculator out to figure this out.