metric tensors now silently replace their indices' dimensions with their