% References cited in https://agora.t9k.dev/t/171/the-second-kahn-kalai-conjecture-with-an-edge-count-bound