A beautiful program is like a beautiful theorem: It does the job elegantly.