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