Creating a database of motivated proofs