a(v1) = (V2)
a(v2) = (V3, V4)
a(v3) = ()
a(v4) = ()