So let's do that. It's going to be the square root of 2 times p, which is 0.6165 times 1 minus p. Divided by 1,000. Let me make sure I get it. 2 times 0.6165, that's that p right there, times 1 minus p divided by 1,000. We're taking the square root of the whole thing. And so we get a standard deviation of 0.0217. Let me write this over here.