---

       # 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.
[hear] (= (unary 0) (.));

[hear] (= (unary 1 0) (:));

[hear] (= (unary 1 1 0) (:.));

[hear] (= (unary 1 1 1 0) (::));

[hear] (= (unary 1 1 1 1 0) (:..));

[hear] (= (unary 1 1 1 1 1 0) (:.:));

[hear] (= (unary 1 1 1 1 1 1 0) (::.));

[hear] (= (unary 1 1 1 1 1 1 1 0) (:::));

[hear] (= (unary 1 1 1 1 1 1 1 1 0) (:...));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 0) (:..:));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 0) (:.:.));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 0) (:.::));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 0) (::..));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 0) (::.:));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0) (:::.));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0) (::::));

[hear] (= (::..) (unary 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (::..) (unary 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (::::) (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (.) (unary 0));

[hear] (= (:.:.) (unary 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:::) (unary 1 1 1 1 1 1 1 0));

[hear] (= (:.:.) (unary 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:::.) (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (:.::) (unary 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:..:) (unary 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (:.) (unary 1 1 0));

[hear] (= (:.::) (unary 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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