Adventures in Mathematical Reasoning