---

       # MATH show local assignment
[hear] (assign 20 0 / = (20) 0);

[hear] (assign 20 1 / = (20) 1);

[hear] (assign 20 2 / = (20) 2);

[hear] (assign 21 0 / = (21) 0);

[hear] (assign 21 1 / = (21) 1);

[hear] (assign 21 2 / = (21) 2);

[hear] (assign 22 0 / = (22) 0);

[hear] (assign 22 1 / = (22) 1);

[hear] (assign 22 2 / = (22) 2);

[hear] (= 0 (assign 20 0 (20)));

[hear] (= 0 (assign 20 0 / 20));

[hear] (= 0 / assign 20 0 / 20);

[hear] (= 20 / assign 20 0 20);

[hear] (= 5 / assign 20 0 5);

[hear] (= 5 / assign 20 0 / assign 23 5 / 23);

[hear] (= 23 / assign 20 0 / assign 23 5 23);

[hear] (= 1 (assign 20 1 (20)));

[hear] (= 1 (assign 20 1 / 20));

[hear] (= 1 / assign 20 1 / 20);

[hear] (= 20 / assign 20 1 20);

[hear] (= 5 / assign 20 1 5);

[hear] (= 5 / assign 20 1 / assign 23 5 / 23);

[hear] (= 23 / assign 20 1 / assign 23 5 23);

[hear] (= 2 (assign 20 2 (20)));

[hear] (= 2 (assign 20 2 / 20));

[hear] (= 2 / assign 20 2 / 20);

[hear] (= 20 / assign 20 2 20);

[hear] (= 5 / assign 20 2 5);

[hear] (= 5 / assign 20 2 / assign 23 5 / 23);

[hear] (= 23 / assign 20 2 / assign 23 5 23);

[hear] (= 0 (assign 21 0 (21)));

[hear] (= 0 (assign 21 0 / 21));

[hear] (= 0 / assign 21 0 / 21);

[hear] (= 21 / assign 21 0 21);

[hear] (= 5 / assign 21 0 5);

[hear] (= 5 / assign 21 0 / assign 23 5 / 23);

[hear] (= 23 / assign 21 0 / assign 23 5 23);

[hear] (= 1 (assign 21 1 (21)));

[hear] (= 1 (assign 21 1 / 21));

[hear] (= 1 / assign 21 1 / 21);

[hear] (= 21 / assign 21 1 21);

[hear] (= 5 / assign 21 1 5);

[hear] (= 5 / assign 21 1 / assign 23 5 / 23);

[hear] (= 23 / assign 21 1 / assign 23 5 23);

[hear] (= 2 (assign 21 2 (21)));

[hear] (= 2 (assign 21 2 / 21));

[hear] (= 2 / assign 21 2 / 21);

[hear] (= 21 / assign 21 2 21);

[hear] (= 5 / assign 21 2 5);

[hear] (= 5 / assign 21 2 / assign 23 5 / 23);

[hear] (= 23 / assign 21 2 / assign 23 5 23);

[hear] (= 0 (assign 22 0 (22)));

[hear] (= 0 (assign 22 0 / 22));

[hear] (= 0 / assign 22 0 / 22);

[hear] (= 22 / assign 22 0 22);

[hear] (= 5 / assign 22 0 5);

[hear] (= 5 / assign 22 0 / assign 23 5 / 23);

[hear] (= 23 / assign 22 0 / assign 23 5 23);

[hear] (= 1 (assign 22 1 (22)));

[hear] (= 1 (assign 22 1 / 22));

[hear] (= 1 / assign 22 1 / 22);

[hear] (= 22 / assign 22 1 22);

[hear] (= 5 / assign 22 1 5);

[hear] (= 5 / assign 22 1 / assign 23 5 / 23);

[hear] (= 23 / assign 22 1 / assign 23 5 23);

[hear] (= 2 (assign 22 2 (22)));

[hear] (= 2 (assign 22 2 / 22));

[hear] (= 2 / assign 22 2 / 22);

[hear] (= 22 / assign 22 2 22);

[hear] (= 5 / assign 22 2 5);

[hear] (= 5 / assign 22 2 / assign 23 5 / 23);

[hear] (= 23 / assign 22 2 / assign 23 5 23);

       # Now for functions.
[hear] (assign 20 (? 28 5) / = 5 (20 2));

[hear] (assign 32 (? 24 5) / = 5 (32 3));

[hear] (assign 28 (? 29 6) / = 6 (28 2));

[hear] (assign 30 (? 32 6) / = 6 (30 3));

[hear] (assign 25 (? 38 (38)) / = 2 (25 2));

[hear] (assign 23 (? 30 (30)) / = 3 (23 3));

[hear] (assign 25 (? 33 (33)) / = 2 (25 2));

[hear] (assign 29 (? 21 (21)) / = 3 (29 3));

[hear] (assign 25 (? 32 / + (32) 1) / = 3 (25 2));

[hear] (assign 31 (? 38 / + (38) 1) / = 4 (31 3));

[hear] (assign 35 (? 33 / + (33) 1) / = 3 (35 2));

[hear] (assign 32 (? 26 / + (26) 1) / = 4 (32 3));

[hear] (assign y (? x / + (x) 6) / = (y 6) 12);

[hear] (= ((? x / + (x) 6) 6) 12);

[hear] (assign y (? x / + (x) 4) / = (y 0) 4);

[hear] (= ((? x / + (x) 4) 0) 4);

[hear] (assign y (? x / + (x) 12) / = (y 0) 12);

[hear] (= ((? x / + (x) 12) 0) 12);

[hear] (assign y (? x / + (x) 15) / = (y 2) 17);

[hear] (= ((? x / + (x) 15) 2) 17);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 13 4) 53);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 13) 4) 53);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 13 4) 53);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 13) 4)
           53);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 5 6) 31);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 5) 6) 31);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 5 6) 31);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 5) 6)
           31);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 7 8) 57);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 7) 8) 57);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 7 8) 57);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 7) 8)
           57);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 8 2) 17);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 8) 2) 17);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 8 2) 17);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 8) 2)
           17);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 15 14 29);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 5 8 13);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 12 15 27);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 14 14 28);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 8 0 8);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 15 9 24);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 11 15 26);

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 5 7 12);