KK says to YSITD
T:A + B,所以只知道 T 有 A::a 跟 B::b ,跟 AB::a 還有 AB::b 都沒有關係