Or for those of you who know calculus, we're calculating the integral from minus 1 to 1 of this function, where the standard deviation is right here, is 10, and the mean is minus 5. Actually, let me put that in. So we're calculating, for this example, the way it's drawn right here, the normal distribution function, let's see, our standard deviation is 10 times the square root of 2 pi times e to the minus 1 half times x minus our mean. Our mean is negative right now. Our mean is minus 5, so it's x plus 5 over the standard deviation squared, which is the variance. So that's 100 squared dx. This is what this number is right here, this 7%, or actually 0.07 is the area right under there.