Double Negation/Double Negation Elimination/Variant 1