# 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));