“…Metric theory has undergone a dramatic phase transition in the last decades when its focus moved from the foundations of real analysis to Riemannian geometry and algebraic topology, to the theory of infinite groups and probability theory. …”