Sean Wei
says to
YSITD
不然呢? 算反證法吧 (?