We've had a sort of implicit running competition (ok, more of a running joke) for whether he could solve the big ToE before I could invent an AI to do it for me. I knew I didn't have a chance, but I thought I'd get longer to play! Anyway, time will tell whether it really pans out, but I hope it does 'cause it's a very pretty theory.