Composition

A model is rarely one file by one author. It draws on vocabulary from a foundational ontology, regulations from one source and facts from another, viewpoints that need not agree. Argon composes these along two axes. Standpoints hold viewpoints that may disagree and join them by the four-valued logic. Modules and packages carry code and vocabulary across boundaries, with the imported theory shaken down to what the importer actually uses and proven to preserve every conclusion about it.