Did you ever try to prove that the recursive solution to the Tower of Hanoi is actually optimal? I find it a neat way to blend pure logic with a bit of strategic flair.