YSITD_TG_Bot
says to
#ysitd
<petjelinux>: 所以p=>q !p=>!q有可能會需要用到極限來證明(?