[gavagai691]

I agree that this is a problem with the above definition of model, analogous to the (IMO fatal) problems with https://en.wikipedia.org/wiki/Deductive-nomological_model#We....

[lisper]

That has to do with causality, which is a complicated topic that I was trying very hard to avoid at this point in the exposition. But maybe that was a mistake.