---

       # MATH introduce a simple form of binary notation
       # After this lesson, in the higher-level version of the message,
       # will expand decimal to stand for the binary notation given.
       # It wouldn't be hard to accompany this lesson with a more
       # formal definition once functions are introduced (below)
       # so maybe the transition to binary should be delayed?
[hear] (= (:) 010);

[hear] (= (:.) 0110);

[hear] (= (:..) 011110);

[hear] (= (:...) 0111111110);

[hear] (= (:....) 011111111111111110);

[hear] (= (.) 00);

[hear] (= (:) 010);

[hear] (= (:.) 0110);

[hear] (= (::) 01110);

[hear] (= (:..) 011110);

[hear] (= (:.:) 0111110);

[hear] (= (::.) 01111110);

[hear] (= (:::) 011111110);

[hear] (= (:...) 0111111110);

[hear] (= (:..:) 01111111110);

[hear] (= (:.:.) 011111111110);

[hear] (= (:.::) 0111111111110);

[hear] (= (::..) 01111111111110);

[hear] (= (::.:) 011111111111110);

[hear] (= (:::.) 0111111111111110);

[hear] (= (::::) 01111111111111110);

[hear] (= (.) 00);

[hear] (= (:::) 011111110);

[hear] (= (::.:) 011111111111110);

[hear] (= (:.:) 0111110);

[hear] (= (:..:) 01111111110);

[hear] (= (.) 00);

[hear] (= (::) 01110);

[hear] (= (::::) 01111111111111110);

[hear] (= (::..) 01111111111110);

[hear] (= (:.:) 0111110);

[hear] (= (:.:) 0111110);

[hear] (= (:..:) 01111111110);

[hear] (= (:.) 0110);

[hear] (= (:) 010);

[hear] (= (::::) 01111111111111110);

[hear] (= (:.) 0110);

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

[hear] (= (:.:) / + (:..) (:));

[hear] (= 011111110 / + 01111110 010);

[hear] (= (:::) / + (::.) (:));

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

[hear] (= (:.:) / + (:..) (:));

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

[hear] (= (:..) / + (.) (:..));

[hear] (= 01111111110 / + 011111110 0110);

[hear] (= (:..:) /
         + (:::) (:.));

[hear] (= 0111111111110 / + 011111110 011110);

[hear] (= (:.::) /
         + (:::) (:..));

[hear] (= 011111111110 / + 01110 011111110);

[hear] (= (:.:.) /
         + (::) (:::));

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

[hear] (= (::.) / + (:.:) (:));

[hear] (= 011110 / * 011110 010);

[hear] (= (:..) / * (:..) (:));

[hear] (= 011110 / * 010 011110);

[hear] (= (:..) / * (:) (:..));

[hear] (= 011110 / * 010 011110);

[hear] (= (:..) / * (:) (:..));

[hear] (= 01111110 / * 0110 01110);

[hear] (= (::.) / * (:.) (::));

[hear] (= 01111110 / * 0110 01110);

[hear] (= (::.) / * (:.) (::));

[hear] (= 011110 / * 0110 0110);

[hear] (= (:..) / * (:.) (:.));

[hear] (= 01111111110 / * 01110 01110);

[hear] (= (:..:) /
         * (::) (::));

[hear] (= 011111111111111110 / * 011110 011110);

[hear] (= (:....) /
         * (:..) (:..));