% References cited in https://agora.t9k.dev/t/329/a-smooth-surface-metric-with-no-local-isometric-immersion-in