Everyone knows that 1 < 2