https://medium.com/@monocosmo77/understanding-lorentzian-manifolds-differential-geometry-952685fc54c9