force.deductive-inductor → force.deductive-inductor