けんき
says to
YSITD
有沒有用到 C |- (A->B)的粒子