Towards the Formal Study of Models in the Non-Formal Sciences · Study