https://phylosopher07.github.io/blog/blog/posts/differentiable-manifold/