then (assuming hvW2)