No FAQ available that match "cases induction"