Leading Beliefs in the Teaching of Proof