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.