And right here, what I've done, this is the mean number of left steps. And all I did is I got the probability, and we figured out the mean of the binomial distribution. The mean of the binomial distribution is essentially the probability of taking a left step times the total number of trials. And so that's equal to 5. That's where that number comes from. And then the variance, and I'm not sure if I went over this. I need to prove this to you if I have.