Ricci curvature and fundamental groups of effective regular sets | Synapse