Cycles of Time: An Extraordinary New View of the Universe

by Roger Penrose

There is an algebraic procedure known as contraction (or transvection) which allows us to connect a lower index to an upper one (rather in the manner of chemical bonding), thereby removing these two indices from the final expression—