Li-Fan Chen says to YSITD
define 邏輯 in this context