x>=-1