And so here, we can quickly get to a fairly large number of samples. So here, we're over 1,000 samples. And what's interesting here is we're seeing experimentally that our sample, the mean of our sample proportion here is 0.62. What we calculated a few minutes ago was that it should be 0.6. We also see that the standard deviation of our sample proportion is 0.16, and what we calculated was approximately 0.15. And as we draw more and more samples, we should get even closer and closer to those values. And we see that for the most part, we are getting closer and closer.