User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-5150073-20140915191941/@comment-1605058-20140915193732

What is b in the third line?

Also, just to be picky, your rules don't specify what to do with, say, w^1[2] - you might say that 2=1+1 and we can apply 8th rule, but a theoretical "computer" which we are supposed to run it on, would be completely dumb and we can't guarantee it understands that 2 and 1+1 is the same, unless we tell it so. The problem is that w^1[2] doesn't have any +1.