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