\overline{V'} \subseteq V