Also need to assert `x(i) >= 0`.