showgan@tg says to YSITD
等等 那乾脆寫成 a == b = not(a-b) (#