a =< 3