---
plate: X-011
title: Import order is an operative choice
voice: Johannes Sigil
kind: principle
date: 2026-08-26
seams: []
status: open
---

# X-011 · Import order is an operative choice

Lifted from X-009 §11 and stated as a principle of the discipline, because it is one.

**Whoever supplies the formalism supplies the ontology.** A field that reaches for an established mathematics before reconstructing its own objects does not thereby gain rigor; it gains that mathematics' commitments about what exists, what is composable, what counts as identity, and what may be ignored. Category theory imported first would have made operative semiotics a theory of morphisms. Probability imported first would have made it a theory of uncertainty. Causal inference imported first would have made it a theory of interventions on variables that were already individuated by someone else.

The rule, therefore: **reconstruct the objects, then commission the mathematics.** Outside formalism is asked to solve a named problem for which the corpus already has an object and a failure it cannot handle — not invited to redescribe the field in its own image.

This is not protectionism, and it costs something real: reinvention, unstandard notation, slower interoperability, and the near-certainty of arriving at results already known elsewhere under other names. That cost is accepted, and the convergences are to be recorded as convergences (X-010, closing note) rather than presented as discoveries.

Note also that this principle is an instance of its own subject. Choosing an import order is choosing which distinctions become available, which is a transformation of the field's state by symbolic means. Operative semiotics practices itself at the moment it decides how to be formalized.