Added examples of using induction instances.