för V * proc.