0 -> y
x -> y
y -> x
x -> y
y -> 0