If you ever find yourself thinking, “This is a really nice proof,” chances are the person spent a ton of time in the background refining it.