nekomata_saren@tg says to YSITD
f(x) 會 != f(y),因為f是non-deterministic