The most important single aspect of software development is to be clear about what you are trying to build.
The Langlands program is a challenge to our understanding of the nature of mathematical truth.