The Logic of Equality