---

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

[hear] (>-in-unary 0110 010);

[hear] (>-in-unary 01110 010);

[hear] (>-in-unary 011110 010);

[hear] (<-in-unary 010 0110);

[hear] (=-in-unary 0110 0110);

[hear] (>-in-unary 01110 0110);

[hear] (>-in-unary 011110 0110);

[hear] (<-in-unary 010 01110);

[hear] (<-in-unary 0110 01110);

[hear] (=-in-unary 01110 01110);

[hear] (>-in-unary 011110 01110);

[hear] (<-in-unary 010 011110);

[hear] (<-in-unary 0110 011110);

[hear] (<-in-unary 01110 011110);

[hear] (=-in-unary 011110 011110);

[hear] (>-in-unary 010 00);

[hear] (>-in-unary 01111111110 0110);

[hear] (>-in-unary 01111110 00);

[hear] (>-in-unary 0110 00);

[hear] (>-in-unary 0111111110 0110);

[hear] (>-in-unary 011110 010);

[hear] (>-in-unary 0110 00);

[hear] (>-in-unary 011111111110 010);

[hear] (>-in-unary 01111110 010);

[hear] (>-in-unary 01111111110 010);

[hear] (>-in-unary 011111110 010);

[hear] (<-in-unary 00 010);

[hear] (<-in-unary 01110 011111111110);

[hear] (<-in-unary 011110 01111111110);

[hear] (<-in-unary 0110 011110);

[hear] (<-in-unary 010 011111110);

[hear] (<-in-unary 00 011111111110);

[hear] (<-in-unary 00 0110);

[hear] (<-in-unary 00 0110);

[hear] (<-in-unary 010 01110);

[hear] (<-in-unary 0110 0111110);

[hear] (<-in-unary 010 011110);

       # switch to binary labelling for commands
[hear] (= 010 010);

[hear] (> 0110 010);

[hear] (> 01110 010);

[hear] (> 011110 010);

[hear] (< 010 0110);

[hear] (= 0110 0110);

[hear] (> 01110 0110);

[hear] (> 011110 0110);

[hear] (< 010 01110);

[hear] (< 0110 01110);

[hear] (= 01110 01110);

[hear] (> 011110 01110);

[hear] (< 010 011110);

[hear] (< 0110 011110);

[hear] (< 01110 011110);

[hear] (= 011110 011110);

       # a few more random examples
[hear] (< 01110 011110);

[hear] (= 011110 011110);

[hear] (< 010 0111110);

[hear] (> 011110 00);

[hear] (> 0111110 011110);

[hear] (< 0110 01110);

[hear] (> 0110 010);

[hear] (> 0111110 010);

[hear] (= 01110 01110);

[hear] (= 01110 01110);

[hear] (> 010 00);