The Tools of Mathematical Reasoning