Nick, I agree with you that F = ma is not a model, but an equivalence relation. Coherently mapping a theory, in the sense of a systematically organized collection of knowledge, to a thing, is a model of the thing. Jon -- Sent from: http://friam.471366.n2.nabble.com/