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