To fully specify the requirement
We should also specify that all items of `v' are attached
But then it starts to be heavy to read and execute (I know this should not be taken into account, but I tend to be pragmatic)