Li-Fan Chen
says to
YSITD
現在看到 choice 都會想到選擇公理