# MATH introduce the NOT logical operator
[
hear] (intro not);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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