---

       # MATH introduce the AND logical operator
[hear] (intro and);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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