x>=0