The necessity of the Triconditions raises an identity question, not merely a further necessity claim: does anything real remain outside the structure they constitute? The first weld tests the strongest version of that possibility, an item real enough to exceed Nature while still belonging to Reality. Reality, by its Chapter-1 definition, is the maximal totality: the whole within which anything is a thing, with no exterior, for *real* *means* that nothing real lies outside it ([§1.1](<1.1 Reality.md>)).

> [!argument]
> **The No-Outside Reductio** · *from Reality's maximality to Reality being Nature*
>
> 1. Reality has no exterior: nothing real lies outside it ([§1.1](<1.1 Reality.md>)).
>
> 1. *(Stage 2) Role-level structural necessity.* Every possible state or item must exhibit directed order, difference, and bearing. The independent Chapter 3 lines do not yet establish every loaded temporal, spatial, and causal type.
>
> 1. Suppose Reality exceeded Nature: that some real item fell outside T ∧ S ∧ Φ.
>
> 1. That item would be real yet lack at least one of directed order, determinate difference, and bearing; by step 2, which requires all three of every possible state or item, there is no such standing for it to take.
>
> 1. So nothing real lies outside Nature, and, by step 1's maximality, nothing of Nature lies outside Reality.
>
> 1. So Reality and Nature coincide (R = N).

That Reality and Nature coincide invites the Spinozist reading (that this necessary Nature simply *is* *Deus sive Natura*) and with it the worry that its necessity must propagate to the modes (this cosmos, these constants). Both are taken up downstream, at [§5.3.1](<5.3.1 Spinozist Pantheism.md>) (Spinozist Pantheism) and [§4.4.9](<4.4.9 Modal Collapse Objection.md>) (The Modal Collapse Objection).

*Dependency.* [§1.1](<1.1 Reality.md>) (maximality) + Stage 2. No appeal to the change-side biconditional.


---

← [3.4 Reality and Nature Are One](<3.4 Reality and Nature Are One.md>) | [3.4.2 One Role, One Filler](<3.4.2 One Role, One Filler.md>) →
