Text this: Ordered fields and real algebraic geometry /