Text this: The positive mass theorem and distance estimates in the spin setting.