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. So we could say negative one times 10 to the 99th power. And the way we do that is second, this two capital Es are saying, essentially times 10 to the, and I'll say 99th power. So this is a very, very, very negative number.