Induction and generalization | lit.salon