Re: overwriting <= operator