Added <= operator