And this is just the square root of that number, right? The standard deviation is just the square root of the variance. So that's just the square root of 2.5. And so if you look here, this says, OK, what is the probability that I take 0 steps? So I take a total of 10 steps, just to understand the spreadsheet. So if I take a total of 10 steps, what is the probability that I take 0 left steps? Well, and just to clarify, if I take 0 left steps, that means I must have taken 10 right steps.