We are on the verge: Today our program proved Fermat's next-to-last theorem.
Writing is the only thing that, when I do it, I don't feel I should be doing something else.