“…Initial investigations were carried out in [1,3,27,30], the time symmetric case (k = 0) was treated in [2,18,19,49,53], and the most general versions were given in [20,38,50,52]. See also [15] for a discussion concerning the rigidity statement. Except for [2], the methods used to prove (3.1) have relied on the spinor approach generalizing that of Witten [51] in the asymptotically flat setting.…”