A=Not-A
A and Not-A
can be the same
when the
definition
of A is
discarded.