RE: learning how to solve proofs