V_k constraint check