introduction to mathematical reasoning 3527