x F(x) y