Any program is a model of a model within a theory of a model of an abstraction of some portion of the world or of some universe of discourse
Meir M Lehmann