A harmonic level set proof of a positive mass theorem

We provide a harmonic level set proof of the positive mass theorem for asymptotically flat $3$-manifolds with a non-compact boundary first established by Almaraz-Barbosa-de Lima.