δ: Formal Transition Model for IDDA | Synapse