Li-Fan Chen
says to
YSITD
雖然數學課本邏輯教很少