.1 - Causal Primitive
---
.2 - Antisymmetry
2.2 Antisymmetry {#2.2}
.3 - Constructibility
2.3 Geometric Constructibility {#2.3}
.4 - Decomposition
2.4 Decomposition {#2.4}
.5 - Independence
2.5 Independence {#2.5}
.6 - Inadequacy
2.6 Inadequacy of Local Axioms {#2.6}
.7 - Enforcement
2.7 Global Consistency & Enforcement {#2.7}
.8 - Synthesis
2.8 Formal Synthesis {#2.8}