Luckily we have a whole partial order of equalities from which we all may choose, et de gustibus. (compare https://news.ycombinator.com/item?id=40714086 https:

Luckily we have a whole partial order of equalities from which we all may choose, et de gustibus. (compare https://news.ycombinator.com/item?id=40714086 https://news.ycombinator.com/item?id=40714086 )