Fix the translation from GV to CP so that the substitution lemma
holds. Prove the substitution lemma.