(first world problems) When you write so many proofs, yet try to keep it distrib

(first world problems) When you write so many proofs, yet try to keep it distributed so that it’s safe, your primary problem is finding something you wrote, and that’s only after remembering that you wrote it already. 😉