But it's essentially saying, if I'm always greater than one thing and I'm always less than another thing and at some point those two things are equal, well then I must be equal to whatever those two things are equal to.