User blog comment:MilkyWay90/New Array Notation/@comment-35470197-20181120105324

> \(M(x_0,x_1,\ldots,x_n)+M(y) = M(x_0,x_1,…,x_n,y)\) > \(M(x_0,x_1,\ldots,x_n,x_{n+1}) = M^{x_{n+1}}(x_0,x_1,…,x_n) + M(x_{n+1}-1)\)

These two rules conflict each other if I am correct.