Double Negation/Double Negation Introduction/Sequent Form/Formulation 1/Proof