Like all semiosis, modelling, including scientific modelling, involves relating categories of experience to each other with various degrees and scopes of consistency. Mathematical equations do this by relating measurements, including changing quantities, to each other. In formal systems, such as geometry, new unknown relations are reasoned from known relations, thereby expanding the system of relations by making the implicit explicit.