The Langlands program is a challenge to our understanding of the nature of mathematical truth.
The best designs are those that solve problems without creating new ones.