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