mathematics a tool of observation involving established metaphors for formal descriptions (models), ¶1-9