Double-negation_translation.elf