Allen Chou
says to
YSITD
如果 p <—> q 不成立ㄅ