R1, R2: Formal definition of VCD A: We will add the following definition: VCDpX, Hq " max |X1 Ď X and |H