% References cited in https://agora.t9k.dev/t/130/generalized-star-height-at-most-three