y>=0