Li-Fan Chen
says to
YSITD
你知道這裡的邏輯指的是數理邏輯ㄅ