2.1 - Causal Primitive
---
2.2 - Antisymmetry
2.2 Antisymmetry {#2.2}
2.3 - Constructibility
2.3 Geometric Constructibility {#2.3}
2.4 - Decomposition
2.4 Decomposition {#2.4}
2.5 - Independence
2.5 Independence {#2.5}
2.6 - Inadequacy
2.6 Inadequacy of Local Axioms {#2.6}
2.7 - Enforcement
2.7 Global Consistency & Enforcement {#2.7}
2.8 - Synthesis
2.8 Formal Synthesis {#2.8}