The Langlands program is a testament to the power of abstract thought in mathematics.