Tag What are the main ingredients of analytic induction?