\v0 -> v0 1 \v0 -> v0 \v0 -> 2 1 2