Schoen and Yau extended this to the standard Lorentzian formulation of the positive mass theorem by studying a partial differential equation proposed by Pong-Soo Jang. They proved that solutions to the Jang equation exist away from the apparent horizons of black holes, at which solutions can diverge to infinity. By relating the geometry of a Lorentzian initial data set to the geometry of the graph of a solution to the Jang equation, interpreted as a Riemannian initial data set, Schoen and Yau reduced the general Lorentzian formulation of the positive mass theorem to their previously-proved Riemannian formulation.