MCM Concretization - Core Formalism | Synapse