Identity is Logical; is it the same for Contradiction?