 Here, then, we have infinitely many schematic rewrite rules. Indices such as ‘\(^{0+1+1+1+1}\)’ can be abbreviated by numerals in the obvious fashion, with ‘\(^{0+1+1+1+1}\)’ being abbreviated ‘4’ and so on.