# 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);