Double-negation_elimination loading ...