YSITD_Chat_Bot says to #ysitd <petercommand>: (petercommand: 可逆是定義...) 喔，看起來只是指要是 f(x) = f(y) -> x = y