Li-Fan Chen
says to
YSITD
同時假設 (B->C) 是對的