V \subseteq \overline{V'}