The positive mass theorem of general relativity to be addressed here states that the total mass of an isolated gravitational system (viewed from spatial infinity, known as the ADM mass) must be non-negative if its local mass density is non-negative everywhere, and in fact the mass is strictly positive unless the space-time is flat. In this essay we are only concerned with the first part of this...