---

       # MATH use equality for truth values
[hear] (= (= (unary 1 1 1 1 0) (unary 1 1 1 1 0))
           (< (unary 1 1 0) (unary 1 1 1 1 1 0)));

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[hear] (intro true);

[hear] (intro false);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[hear] (= (true) (true));

[hear] (= (false) (false));

[hear] (not / = (true) (false));

[hear] (not / = (false) (true));