petercommand@tg
says to
YSITD
喔，看起來只是指要是 f(x) = f(y) -> x = y