In particular, a quite detailed account of the first-order structure of general metric measure spaces is presented, and the reader is introduced to the second-order calculus on spaces â€" known as RCD spaces â€" satisfying a synthetic lower Ricci curvature bound.