Proof and Other Dilemmas