<= 0_2 =>