Rex .__.
says to
YSITD
除非 p!->q 否則 p->q