Re: `<= vs `==