User blog comment:Testitemqlstudop/Array notation variants/@comment-35470197-20191021131405/@comment-35470197-20191021140349

I see. Then are "1 ≦ i ≦ %t" in the Feed rule and "t_i = t" in the Breed rule typos of "1 ≦ i < %t" and "a_i = t"? (Since the substition is not written by = in the usual mathematics unlike programming, it is better to clarify that a is replaced by an array of the same length whose entries are t.) Also, it is better to clarify that a_0 is assumed to be a natural number in the Feed rule.