# MATH now introduce other relational operators
       # After this lesson, it should be clear what contexts
       # < > and = are appropriate in.
[
hear] (intro >);

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

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

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

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

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

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

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

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

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

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

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

[hear] (intro <);

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

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

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

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

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

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

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

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

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

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

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

       # drive the lesson home
[hear] (= (unary 0) (unary 0));

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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