Li-Fan Chen
says to
YSITD
一個是 P -> Q 一個是 Q -> P ㄟ