Li-Fan Chen
says to
YSITD
另外名詞定義這種東西本來就有任意性只要beta reduction後是你要表達的意思就好了