Authors:

I think some intuition leaks out in every step of an induction proof.

I think some intuition leaks out in every step of an induction proof.