(x, x) => y;