---

       # MATH introduce multiplication
[hear] (intro *);

[hear] (= (unary 0) / * (unary 0) (unary 0));

[hear] (= (unary 0) / * (unary 0) (unary 1 0));

[hear] (= (unary 0) / * (unary 0) (unary 1 1 0));

[hear] (= (unary 0) / * (unary 0) (unary 1 1 1 0));

[hear] (= (unary 0) / * (unary 1 0) (unary 0));

[hear] (= (unary 1 0) / * (unary 1 0) (unary 1 0));

[hear] (= (unary 1 1 0) / * (unary 1 0) (unary 1 1 0));

[hear] (= (unary 1 1 1 0) / * (unary 1 0) (unary 1 1 1 0));

[hear] (= (unary 0) / * (unary 1 1 0) (unary 0));

[hear] (= (unary 1 1 0) / * (unary 1 1 0) (unary 1 0));

[hear] (= (unary 1 1 1 1 0) / * (unary 1 1 0) (unary 1 1 0));

[hear] (= (unary 1 1 1 1 1 1 0) / * (unary 1 1 0) (unary 1 1 1 0));

[hear] (= (unary 0) / * (unary 1 1 1 0) (unary 0));

[hear] (= (unary 1 1 1 0) / * (unary 1 1 1 0) (unary 1 0));

[hear] (= (unary 1 1 1 1 1 1 0) / * (unary 1 1 1 0) (unary 1 1 0));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 0) / * (unary 1 1 1 0) (unary 1 1 1 0));

[hear] (= (unary 1 1 1 1 1 1 0) / * (unary 1 1 1 0) (unary 1 1 0));

[hear] (= (unary 1 1 0) / * (unary 1 0) (unary 1 1 0));

[hear] (= (unary 1 0) / * (unary 1 0) (unary 1 0));

[hear] (= (unary 1 1 0) / * (unary 1 0) (unary 1 1 0));

[hear] (= (unary 1 1 1 0) / * (unary 1 0) (unary 1 1 1 0));

[hear] (= (unary 1 0) / * (unary 1 0) (unary 1 0));

[hear] (= (unary 1 1 1 0) / * (unary 1 0) (unary 1 1 1 0));

[hear] (= (unary 0) / * (unary 0) (unary 0));

[hear] (= (unary 1 1 0) / * (unary 1 0) (unary 1 1 0));

[hear] (= (unary 0) / * (unary 0) (unary 0));