Ordered field/1 and 0/Exercise