https://filesoo.com/product/8250/smooth-manifolds-and-observables