The Langlands program is a challenge to our understanding of the nature of mathematical truth.