CH - DE^{CH - DE}