https://9dok.net/document/qvl6lv7d-s-brown-furry-running-sea-equivalent-axiom-choice.html