https://rayenblog.github.io/posts/representing-general-relativity/