If a equal to b then not a is equal to not b?