Li-Fan Chen says to YSITD
A & B 可以推出 A 也可以推出 B 啊