Here we concentrate only on the genuine, finite boundary of S. The analysis is straightforward even in the presence of ‘boundaries at infinity’ at the asymptotic ‘ends’ of asymptotically flat S.