I'm looking for a comment I think I remember Quine having made. He's talking about our understanding of proofs. I think he says something along the following lines... If you understand many different proofs of the same thing (say the completeness proof for FOL) you understand or comprehend the thing proved in a better way I can't find it anywhere.
Hope you can help.