% References cited in https://agora.t9k.dev/t/207/planar-first-passage-geometry-and-the-absence-of-bigeodesics