Einstein's summation convention