% References cited in https://agora.t9k.dev/t/296/trace-cones-and-razak-jacelon-stabilization