Level-index arithmetic

Summary