UG.NUG Formalism | Synapse