Creating a database of motivated proofs – Gowers’s Weblog