% References cited in https://agora.t9k.dev/t/354/negative-k-hler-curvature-without-bounded-holomorphic-coordinates