force.deductive-cumulative-nonneg → force.deductive-cumulative-nonneg