I would say that if you can't teach a human to add, then they might be a lookup table. Also, the tokenization is fine, as shown in other examples. Imagine we d

I would say that if you can't teach a human to add, then they might be a lookup table. Also, the tokenization is fine, as shown in other examples. Imagine we didn't call it arithmetic and instead used symbols a and b, s.t. a + a = a, a + b = b, and b + b = a w/ carry b. Binary addition really is just very basic logical rules on symbols.