The Nielsen Realization Problem | Synapse