Li-Fan Chen says to YSITD
直構邏輯就夠用了ㄅ