swapped out for all Inductive defs