Li-Fan Chen says to YSITD
一階邏輯後還前ㄚ