Li-Fan Chen says to YSITD
Um 在邏輯上 應該是我們弄好的