I just enjoy calculating, and it's an instrument I know how to play. It's almost an athletic performance, in a way. I was just watching the Olympics, and that's how I feel when proving a theorem.