Section 11 Want more of a challenge? View in iconic form (experimental)

---

       # 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 33 (? 28 5) / = 5 (33 2));

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

[hear] (assign 20 (? 21 6) / = 6 (20 2));

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

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

[hear] (assign 28 (? 35 (35)) / = 3 (28 3));

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

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

[hear] (assign 28 (? 37 / + (37) 1) / = 3 (28 2));

[hear] (assign 35 (? 23 / + (23) 1) / = 4 (35 3));

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

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

[hear] (assign y (? x / + (x) 8) / = (y 15) 23);

[hear] (= ((? x / + (x) 8) 15) 23);

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

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

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

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

[hear] (assign y (? x / + (x) 15) / = (y 5) 20);

[hear] (= ((? x / + (x) 15) 5) 20);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 15 10) 151);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 15) 10) 151);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 15 10)
           151);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 15) 10)
           151);

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

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

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 5 12) 61);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 5) 12)
           61);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 9 3) 28);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 9) 3) 28);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 9 3) 28);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 9) 3)
           28);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = (z 12 12) 145);

[hear] (assign z (? x / ? y / + 1 / * (x) (y)) /
         = ((z 12) 12) 145);

[hear] (= ((? x / ? y / + 1 / * (x) (y)) 12 12)
           145);

[hear] (= (((? x / ? y / + 1 / * (x) (y)) 12) 12)
           145);

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

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

[hear] (assign
          w
          (? x /
           ? y /
           ? z /
           = (z) /
           + (x) (y)) /
         w 1 3 4);

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

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

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

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

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