as i said, the specifications is the same, same assertions, and the-- it's basically the same program as the one we were just looking at, but i'm starting with a different guess, in this case x over 2, well i'm going to, couple of different guesses we can start with, we can experiment with different guesses and see whether we get the same answer, and in fact, if we did, we would see we didn't get this, we got different answers, but correct answers.