Charlie concentrates on writing a nice proof