quick change to inductive defs