Li-Fan Chen
says to
YSITD
就說一階邏輯後