| y | <--> x __..-' \ <0> x [] __..-' \ <-> => n y __..-' \ <0> <0> n [y] \ \ <0> [x] [] \ [x]