image See Sect. 2.1 and Sect. 3.5 for more information on the rigidity theorem.