CNVS Extended Formal Theory | Synapse