CVi = Context ∩ Vi