Locators and the meaning of ``defines''

Reported line numbers are retained as documentary locators. They have not been independently recounted against a version-controlled source archive. Source labels and the supplied passage contents are therefore reported together. Where an exact label has no separately supplied line range, that absence is stated rather than repaired by an invented number.

The word defines is qualified throughout:

A source definition and a patch convention are not interchangeable. The latter can remove an ambiguity in the notation of this paper, but it cannot retrospectively prove that the source used the same convention.

We also use

A template can define a family perfectly well while remaining insufficient to identify the member frozen in the predecessor. Thus $\mathsf{T}$ is not a weaker kind of ${\mathsf{D}}_{\mathrm{s}}$ which can be promoted by formatting. It records a different mathematical object.

A refusal is also not a definition of an alternative object. The refusal of a particular complement equality closes that proposed identification. It does not provide a set equation for the canonical domain, and it does not prohibit a later independent description of that domain.