Why Mathematicians Re-Prove What They Already Know