What We Learn and What We Can Do Better in the World of Proofs