Reduction along strong Dirac maps | Synapse