From `proofs without words` to `proofs that explain`