Li-Fan Chen
says to
YSITD
還是你要 (A->C) ———————— (B->C) -> (A->C)