$i: $k -> $v[a], $v[b] --- $v --empty--