Where formula_3 represents formula_4. The reason for measuring time in units of the speed of light times the time coordinate is so that the units for time are the same as the units for space. Spacetime has the differential for arc length given by