Since we take the infimum, we could equally take the ADM masses, which are the minimum values of the zero-th
component of the energy-momentum four-vectors in the different Lorentz frames, instead of the energies.