" We have come to love the music of proof. Logical connection for us is not some popular song about a finch, but a choral symphony, so difficult and so inspired that the conductor must exert all his energy to keep the performers under his control. "

― Osip Mandelstam , Critical Prose and Letters