Text this: Core reduction for singular Riemannian foliations and applications to positive curvature.