Enumerative induction