Level-index arithmetic