Remove Vn a ~ Vn b syntax.