https://5dok.org/document/4zpmn10z-upper-gradients-and-sobolev-spaces-on-metric-spaces.html