force.deductive-criterion → force.deductive-criterion