1 quote from 1 author
I think some intuition leaks out in every step of an induction proof.
— Jim Propp
