[pengstrom]

Technically only true for formal systems where you can axiomatically define A = not A, which is principally arbitrary.