<= and such