Structural Integrity Invariant and Its Domain of Definition | Synapse