overwriting <= operator