#ProofAnimation #DoubleNegation
https://oeis.org/w/images/2/22/Double_Negation_2.0_Animation.gif
#doublenegation #proofanimation
