If a statement is true then it is true.

Something is the same thing as itself and different from everything else.

Everything is itself and not something else.

References