The Paton Framework — Minimal Formal Core | Synapse