Tag: define inductive effect