A Worked Example: One Trope, Its Sentence, and a Proof

Every record in the catalog has a plain-language face and, beneath it, one formal sentence. Vast Mountain is one of the eight progenitor tropes — the decreed root of the mountain suit's full pole — and the catalog's first published record. A progenitor is not derived from anything; it is what other tropes derive from. That is exactly what makes it the right premise for the derivation below. Its plain face reads:

"The scale of the terrain dwarfs the traveller; the journey is the meaning."

Beneath it sits the record's sentence of record — its formal core, published with the record:

Read aloud, piece by piece:

• Agent(x) x is a character — someone the story follows.
• Event_E(e, type=Journey, agent=x) e is a journey, and x is the one making it.
• Vast(e) the journey is vast — the terrain exceeds the traveller.
• → Meaningful(e) then the journey itself is meaningful.

Notice what the sentence commits to. The vastness belongs to the journey, not the traveller; and the meaning lands on the journey, not the traveller. That asymmetry is the trope's whole claim: when scale exceeds the traveller, significance moves from the destination to the traversal. A different placement of those properties would be a different trope — and that is not a metaphor, as the derivation below shows.

Because a progenitor is a sentence, it can serve as a premise — and a new trope can be a conclusion: a sentence proved from the progenitor rather than asserted alongside it. Here is a candidate derived trope — call it The Remembered Crossing: a journey that outgrew its destination and, once over, cannot be let go. It is offered as an illustration, not a record of the catalog; the point is the shape of the argument.

Two premises. P1 is Vast Mountain's published core — the progenitor, cited as law. A1 is an auxiliary principle about memory: whatever is meaningful and has ended is remembered. A1 is assumed, and labeled so, because it does not follow from P1 — no amount of reasoning about vastness produces a claim about memory. The derivation then proves the new trope's sentence by natural deduction:

Read the structure, not just the lines. The derived trope's condition is the progenitor's condition plus one new mark (Ended); its conclusion (Remembered) is reached only by passing through the progenitor — line 3 is Vast Mountain firing inside the proof. Strip P1 out and the proof collapses; that is what "derives from a progenitor" means here. And the proof is honest about its debts: the memory principle A1 had to be assumed, because in classical logic you cannot get Remembered from Vast alone. A derived trope's record keeps that ledger — which part is inherited from the root, and which part is new and must be argued for. Nothing is smuggled in as if it followed.

The same construction runs from the other root. Vast Mountain's decreed partner, Desolate Mountain, keeps its conclusion on the traveller — illustratively, Agent(x) ∧ Event_E(e, Journey, x) ∧ Desolate(e) → Tried(x) — so a derived trope built on it with an auxiliary about endurance would land on the traveller too: the one who was tried and came back changed. Two progenitor premises, two derived families; the addresses and suits on the map below record which root a trope was built from.