More examples for path induction