Text this: Polar Orders on Lattices of Real Intervals †.