<note xmlns="http://www.tei-c.org/ns/1.0" rend="footnote text" xml:id="ftn1" n="1"> Mini-theories could be considered as models, but since the term model is also used in other contexts, we prefer this term to mark a distinction between the various usages. </note>