\[x(y)\sim y,\]