Proof and Progress in Mathematics