We are gonna to assume not only that we have the integers, but that they have... we know about their arithmetic, we know that we can add them and subtract them and multiply them, and we know about their order. 