Proof, Logic, and Conjecture: The Mathematician's Toolbox