inductor.witness → inductor.witness