Riemannian geometry, At KAUST, Fall 2022.