Text this: Scalar curvature rigidity of the four-dimensional sphere.