Registry · Lemma VII.L44 tau-effective formalized

VII.L44 — Rite of Passage as Boundary Crossing

Rite of passage = Boundary Archetype (VII.D18) in social category; before/after = two lobes of L, ritual = crossing through p₀.

Book VII Part 8 Ch. 105

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.rite_boundary_crossing