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