The real challenge is not to build a cheap house, but to build a house that is cheap to live in.
The Langlands program is not a theory but a web of conjectures and theorems that, if fully established, would unite number theory and representation theory.