MATH.Preface:3.5 - Use this contribution within the wider repertoire

The Foundational Thinking Suite Reference explains where this mathematical contribution connects with model formulation, physical premises, computation, notation and Method Engineering. A result such as a function object or an interpreted path becomes useful through what the next operation can do with it. Its mathematical laws alone leave the subject interpretation and execution conditions to their respective methods.

The twenty bodies connect formation and interpretation with proof, comparison and continued theory development. MATH.17 makes operations available for change, MATH.18 compares interpretations, MATH.19 builds a missing proof, and MATH.20/.21 connect justified bounds with approximation. MATH.22/.23 develop changed theories and useful conjectures. Start with the contribution needed next and read the methods that supply its missing inputs.

For example, changing the order of a read and an update can preserve the final stored value but change the reading used by a later decision. MATH.1/.5 supply sequences and their interpretation, and MATH.2 tests the proposed identification. Method Engineering uses that distinction when deciding how work may be rearranged. The mathematical construction and its use in the working method remain separately inspectable.