vV A vV A \ V AvV