https://www.bookofthrees.com/proper-time-coordinate-systems-lorentz-transformations/