0 -> x
x -> 0
0 -> y0
y0 -> y
y <-> 0