Li-Fan Chen
says to
YSITD
我們先把 (B->C) -> (A->C) 寫在最底下