force.deductive-day-nonneg → force.deductive-day-nonneg