% References cited in https://agora.t9k.dev/t/239/the-partition-principle-does-not-imply-choice