◀️   🔀
. /
⤵️  ▶️



found.txt: where: https://math.berkeley.edu/~kpmann/Well-ordering.pdf