"Reality" is a structural-role term ([§1.1](<1.1 Reality.md>)): its reference is fixed not by pointing to an individual but by a role: *being what any real content belongs to*. Stage 2 showed what fills that role, in every world: T ∧ S ∧ Φ. That does not make this weld a wholly independent proof alongside maximality and exhaustion; it makes it the role-semantics version of the same identity.

> [!info]
> **Core concept.** This weld reaches "Reality is Nature" through how the word Reality works. "Reality" isn't a name you fix by pointing at some individual; it refers by role—whatever any real content belongs to and presupposes. "Nature" names the three conditions, time, space, and persistence, under their positive description. And the argument has already shown that this role is filled, in every world, by exactly those three. Two terms anchored to one and the same role refer to the same thing in every world where they refer at all. So "Reality" and "Nature" name one thing, necessarily. The book is honest that this is role-based co-reference, not the rigid natural-kind necessity of "water is H₂O"—exactly as strong as the role-anchoring it rests on, no stronger.

> [!argument]
> **The Role-Semantics Weld** · *from structural-role co-reference to Reality being Nature*
>
> 1. "Reality" refers by structural role — what any real content belongs to and presupposes ([§1.1](<1.1 Reality.md>)).
>
> 1. "Nature" names the three Conditions (succession, distinction, exchange) under their positive description ([§1.4](<1.4 Three Conditions.md>)).
>
> 1. *(Stage 2) Triconditional necessity.* That role is filled, necessarily and everywhere, by T ∧ S ∧ Φ.
>
> 1. A role-term and the name of the role's necessary filler co-refer in every world at which they refer at all (steps 1–3).
>
> 1. So "Reality" and "Nature" co-refer necessarily (□(R = N)), at the resolution Stage 2 supplies (step 3).

*Dependency.* [§1.1](<1.1 Reality.md>) (structural-role anchoring) + [§1.4](<1.4 Three Conditions.md>) + Stage 2. *Honest note:* this is structural-role co-reference, not the natural-kind rigidity of *water = H₂O*. As [§1.1](<1.1 Reality.md>) makes explicit, "Reality" is not a natural-kind term in Kripke's typology but a structural-role term *continuous with* it; the necessity here is exactly as strong as the role-anchoring (no stronger), and the full natural-kind parallel is argued at [§2.6](<2.6 Triconditionality of Nature.md>) / [§2.9.5](<2.9.5 Three Formal Logics.md>), not assumed here.


---

← [3.4.1 No Outside](<3.4.1 No Outside.md>) | [3.4.3 No Residue](<3.4.3 No Residue.md>) →
