Induction by Enumeration and Induction by Elimination · Study