So it gives me this area. And I use that as an approximation for this area. If you really wanted to be particular about it, what you would do is you would take the integral of this curve between this point and this point as a better approximation. We'll do that in the future. But right now, I just want to give you the intuition that the binomial distribution really does converge to the normal distribution. So what is this number right here? Well, I said, what is the probability?