けんき says to YSITD
C為什麼會implyA->B