Rigorous Progress in Coarse-Graining | Synapse