And so that gives me that value. But then to actually figure out the probability of that, what I do is I calculate the cumulative distribution function between, well, this is the value, the probability that you're less than that. So the area under the curve below that, which is very, very small. It's not 0. I know it looks like 0 here, but that's only because I round it. It's going to be 0, 0, 0, 1. It's going to be a really, really small number.