Double negatives are the foundation for all math and logic.
-1-1=-2 results in the first act of addition where addition results from self reference. Addition is the subtraction of subtraction.
(-P --> -P) --> (P-->P) --> (Q --> (-P --> -P))... occurs simultaneously in logic.
Recursion of negatives is the foundation of math and logic.