Text this: Ordered linear spaces/