Each plausible-looking contribution to a mathematical library imposes a review burden on another person.

“A choice that works locally can become brittle or even unrecognizable when a library grows around it. Mathematics has its own integration hell, and every plausible-looking contribution creates a review burden for somebody else.”