counterexamples i think it would be interesting to list some of examples that aren't ordered fields this might make it clearer why even needing a definition of ordered field is useful