Rex .__. says to YSITD
有 p->q 的真假值你一定會碰到