Step-by-step derivation of a representative relation used in the model, with annotations.

A guided walkthrough of the foundational axioms with intuitive commentary and minimal formalism.