---

       # MATH introduce addition
[hear] (intro +);

[hear] (= 0110 / + 00 0110);

[hear] (= 0111110 / + 011110 010);

[hear] (= 0110 / + 0110 00);

[hear] (= 011110 / + 00 011110);

[hear] (= 011110 / + 01110 010);

[hear] (= 01110 / + 010 0110);

[hear] (= 00 / + 00 00);

[hear] (= 011110 / + 011110 00);

[hear] (= 01110 / + 0110 010);

[hear] (= 011110 / + 011110 00);