complete induction instantiation
definition