Curvature-dimension estimates for the Laplace–Beltrami operator of a totally geodesic foliation. (October 2015)