Was my bad to assume sp_inc was positive. Real criteria is the calculated sp is non-negative. We have to assert that.