Why are mathematicians writing 300-page papers?