X+5 is either
x,y,f(y)
.
Y+5 is either
x,y,f(x)
.
Y is either
x-5,x+5,y-5
.
X-5 is either
x,g(x),g(y)
