Student: In the recursive Towers of Hanoi program, how do you prove that you never put a disk on a smaller disk?
Gries: You prove it by recursion
Student: You prove it by recursion?
Gries: Sure, you just say, "By recursion."