This line arrives from the determinacy of settled content rather than from logic or performance. For anything to be the case at all it must be *this rather than that*. And a settled contrast is already information, which already requires structure.

> [!argument]
> **The Structured-Content Line** · *from settled content to the distinction requirement*
>
> 1. Take anything that is the case at all. For it to be the case, it must be *this* rather than *that*: the content is settled one way instead of another.
>
> 1. That settled contrast establishes a distinction requirement: content that is this rather than that cannot be an undifferentiated blank. It therefore supports the role of distinctness that the broader derivation identifies with Spatiality.
>
> 1. The line does not independently derive Temporality or Physicality from determination alone. Those Conditions are supplied by the other convergent lines: the Facthood Line, the Determinate-World Line, and the Null-State Reductio.

*Why the line is limited.* A content's being settled does not require a temporal passage from an indeterminate state to a determinate one; that would import the Temporality the line is meant to establish. Determination is therefore not by itself an independent T-line, and the bare contrast between alternatives does not by itself supply the persistence required for Φ. Its legitimate contribution is narrower: any contentful state of affairs must be differentiated rather than blank.

*Dependency.* [§1.4](<1.4 Three Conditions.md>) and the other [§3.2](<3.2 Triconditional Necessity Positive Account.md>) lines. Shannon-style information theory, Kolmogorov complexity, and Landauer's erasure bound may illustrate how determinate alternatives are handled in specific physical or computational systems, but they do not establish the metaphysical necessity of T, S, and Φ. This line is a supporting distinction observation, not an independent proof of □(T ∧ S ∧ Φ).


---

← [3.2.2 No Bare Possibilities](<3.2.2 No Bare Possibilities.md>) | [3.2.4 All the Way Down](<3.2.4 All the Way Down.md>) →
