[Steve to Platt] Hammers and screw drivers are useful tools. Note that we never ask about them, does this hammer correctly correspond to The-Way-Things-Really-Are? By the same token, it is not required that we ask such questions about the tool called mathematics. [Arlo] How DARE you question The One True Hammer!!!