0 -> x x -> 0 x -> 0 y -> 0 y -> 0 0 -> v v -> 0 v -> 0 0 -> z z -> 0 v + x -> y