---

       # MATH introduce the OR logical operator
[hear] (intro or);

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

[hear] (or (< (unary 1 1 0) (unary 1 1 1 1 0))
            (= (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (or (< (unary 1 1 1 1 0) (unary 1 1 1 1 1 1 0)) (= (unary 1 0) (unary 1 0)));

[hear] (or (> (unary 1 1 0) (unary 1 0)) (> (unary 1 1 1 1 0) (unary 1 1 0)));

[hear] (or (> (unary 1 1 1 0) (unary 0)) (< (unary 1 1 1 0) (unary 1 1 1 1 0)));

[hear] (or (= (unary 1 1 1 1 0) (unary 1 1 1 1 0)) (< (unary 1 0) (unary 1 1 1 0)));

[hear] (or (< (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 1 1 0))
            (< (unary 1 1 1 1 0) (unary 1 1 1 1 1 1 0)));

[hear] (or (< (unary 0) (unary 1 0)) (= (unary 1 1 1 1 0) (unary 1 1 1 1 0)));

[hear] (or (< (unary 1 1 1 1 0) (unary 1 1 1 1 1 1 1 0))
            (< (unary 1 1 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (or (= (unary 1 0) (unary 1 0)) (< (unary 0) (unary 1 0)));

[hear] (or (= (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0))
            (> (unary 1 1 1 1 1 1 0) (unary 1 1 1 1 1 1 0)));

[hear] (or (> (unary 1 1 1 1 1 1 0) (unary 1 1 1 1 0)) (= (unary 1 1 0) (unary 0)));

[hear] (or (< (unary 1 1 1 0) (unary 1 1 1 1 1 1 0))
            (> (unary 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (or (> (unary 1 1 1 1 0) (unary 1 1 1 0))
            (> (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0)));

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

[hear] (or (< (unary 1 0) (unary 0)) (= (unary 1 1 0) (unary 1 1 0)));

[hear] (or (< (unary 1 1 1 0) (unary 1 0)) (= (unary 0) (unary 0)));

[hear] (or (> (unary 1 1 0) (unary 1 1 1 1 1 0))
            (> (unary 1 1 1 1 0) (unary 1 1 0)));

[hear] (or (> (unary 1 1 1 0) (unary 1 1 1 1 1 0)) (= (unary 1 1 0) (unary 1 1 0)));

[hear] (or (> (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0))
            (= (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (not / or (= (unary 1 0) (unary 1 1 1 0)) (= (unary 1 0) (unary 0)));

[hear] (not / or (> (unary 1 0) (unary 1 1 0)) (> (unary 1 0) (unary 1 1 1 1 0)));

[hear] (not /
         or (= (unary 1 1 1 0) (unary 1 1 1 1 0))
            (> (unary 1 0) (unary 1 1 1 1 0)));

[hear] (not / or (> (unary 0) (unary 1 1 1 1 0)) (= (unary 1 0) (unary 0)));

[hear] (not /
         or (< (unary 1 1 1 1 0) (unary 1 0))
            (< (unary 1 1 1 1 1 1 0) (unary 1 1 0)));

[hear] (not /
         or (> (unary 1 1 1 1 0) (unary 1 1 1 1 1 1 0))
            (= (unary 1 0) (unary 1 1 1 0)));

[hear] (or (> (unary 1 0) (unary 0)) (< (unary 1 1 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (or (> (unary 1 0) (unary 0)) (= (unary 1 1 1 1 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (or (> (unary 0) (unary 1 1 0)) (= (unary 1 1 1 1 1 0) (unary 1 1 1 1 1 0)));

[hear] (or (> (unary 1 1 0) (unary 1 1 1 1 0))
            (< (unary 1 1 1 0) (unary 1 1 1 1 0)));

[hear] (not /
               or (= (unary 1 0) (unary 1 1 0)) (= (unary 1 1 0) (unary 1 1 1 1 0)));

[hear] (or (= (unary 1 1 1 0) (unary 1 1 1 1 0))
            (> (unary 1 1 1 1 1 0) (unary 1 1 0)));

[hear] (not /
         or (> (unary 1 0) (unary 1 1 1 1 1 1 0))
            (< (unary 1 1 1 1 1 0) (unary 0)));

[hear] (or (< (unary 1 0) (unary 1 1 1 1 0)) (< (unary 1 1 1 0) (unary 0)));

[hear] (or (= (unary 1 1 1 0) (unary 1 1 1 0)) (> (unary 1 1 0) (unary 1 1 1 0)));