Tag: inductive effect definition