Questionslikethesequitesurprisinglyprovideaveryniceforumfor some fundamental mathematical activities: symbolic representation and manipulation, modelâ€"theoretic analysis, quantitative represen- tionandcalculation,anddeductionasembodiedinthepresentationof mathematical proof as convincing argument.