And that's all in the spreadsheet. If you actually click on the cell and look at the actual formula, I did that. Although sometimes when you see it in Excel, it's a little bit confusing. 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?