According to the Einstein notation if a repeated abstract index, i.e. an abstract index at a covariant and at a contravariant position, exists in an indexed object or a product of indexed objects then that index is regarded as a dummy index and the operation is the contraction. Since the names of the dummy indices are arbitrary, the system may automatically rename them to get a standard form of the expression.
