Double_negation_elimination loading ...