show/hide this revision's text 1 [made Community Wiki]

Waldhausen once inserted a bit of music -- written out as notes on a staff -- in the final draft of one of his papers, explaining "This replaces an unnecessary axiom." The melody, by Grieg, was called "Fool's Morning Song".