Section 10 Want more of a challenge? View in iconic form (experimental)

---

       # 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 shouldbe delayed?
[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] (= (::.) 01111110);

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

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

[hear] (= (.) 00);

[hear] (= (:) 010);

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

[hear] (= (:) 010);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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