I'm gonna press second, vars, and that gets me to distribution. And so I have these various functions. I want normal cumulative distribution function. So that is choice two. And then the lower bound. Well, I want to go to negative infinity. Well, calculators don't have a negative infinity button, but you could put in a very, very, very, very negative number that, for our purposes, is equivalent to negative infinity.