Foundations of Invariant Evaluation | Synapse