% References cited in https://agora.t9k.dev/t/238/separating-choiceless-counting-from-polynomial-time-and-witnessed-choic