Leko says to YSITD
會等於 f(y)