restore index for "inductive definition"