On Mason's rigidity theorem

Following an argument proposed by Mason, we prove that there are no algebraically special asymptotically simple vacuum space-times with a smooth, shear-free, geodesic congruence of principal null directions extending transversally to a cross-section of Scri. Our analysis leaves the door open for escaping this conclusion if the congruence is not smooth, or not transverse to Scri. One of the elements of the proof is a new rigidity theorem for the Trautman-Bondi mass.