<= 1 2 =>