Li-Fan Chen
says to
YSITD
但是他們指涉的 binary operator 的概念就不一樣啊