AT - DE^{AT - DE}