"I inquired of Dyson whether Weyl had given an example of his having sacrificed truth for beauty. I learned that the example which Weyl gave was his gauge theory of gravitation which he had worked out in his Raum-Zeit-Materie. Apparently, Weyl became convinced that this theory was not true as a theory of gravitation; but still it was so beautiful that he did not wish to abandon it and so he kept it alive for the sake of beauty. But much later, it did turn out that Weyl's instinct was right after all, when the formalism of gauge invariance was incorporated into quantum electrodynamics."