x_k>=0