diff --git a/fig/dh-drawing.png b/fig/dh-drawing.png
index 512dc03..24c4aa5 100644
Binary files a/fig/dh-drawing.png and b/fig/dh-drawing.png differ
diff --git a/fig/editable/dh-drawing.svg b/fig/editable/dh-drawing.svg
index 66f9498..fdff1a3 100644
--- a/fig/editable/dh-drawing.svg
+++ b/fig/editable/dh-drawing.svg
@@ -14,8 +14,11 @@
height="1003.9161"
id="svg2"
version="1.1"
- inkscape:version="0.92.1 r15371"
- sodipodi:docname="DH.svg">
+ inkscape:version="0.91 r13725"
+ sodipodi:docname="dh-drawing.svg"
+ inkscape:export-filename="/home/yo/repos/teo-developer-manual/fig/dh-drawing.png"
+ inkscape:export-xdpi="89.700821"
+ inkscape:export-ydpi="89.700821">
-
+ gradientTransform="scale(1.0666667,1.0666667)" />
+ gradientTransform="scale(1.0666667,1.0666667)" />
-
-
-
-
-
- image/svg+xml
-
-
-
-
-
-
- z6
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ image/svg+xml
+
+
+
+
+
+
+ z6
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10573,34 +11427,6 @@
rx="7.4621787" />
- z0
- z1
z3
- z3
4,x5
- z2
- x2
- z4
x3
- z5
- x0≡x1
@@ -10813,385 +11553,105 @@
style="fill:#ff0012;fill-opacity:1;stroke:none;filter:url(#filter4663)"
transform="matrix(1,0,0,-1,172.67958,1907.9228)">
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- x
-
-
-
-
-
-
-
-
- x
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+ style="fill:#ff0012;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:1.06666672"
+ d="m 296.23348,1000.1025 -5.33333,-9.22662 h 10.66667 z"
+ id="path4933" />
+ transform="matrix(1,0,0,-1,171.555,1995.6101)"
+ style="fill:#ff0012;fill-opacity:1;stroke:none;filter:url(#filter4663)"
+ id="g6225">
+ id="path6227"
+ d="m 295.93333,942.76667 a 2.6669333,2.6669333 0 0 0 -2.36666,2.7 v 48.46666 a 2.6669333,2.6669333 0 1 0 5.33333,0 v -48.46666 a 2.6669333,2.6669333 0 0 0 -2.96667,-2.7 z"
+ style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#ff0012;fill-opacity:1;stroke:none;stroke-width:5.33333349;marker:none;enable-background:accumulate" />
-
-
-
-
+ id="g6267"
+ style="fill:#000ea6;fill-opacity:1;stroke:none;filter:url(#filter4929-6)"
+ transform="translate(-95.865095,334.01476)">
+ id="path6271" />
-
-
+ transform="translate(1.7909792,-83.840781)"
+ style="fill:#ff0012;fill-opacity:1;stroke:none;filter:url(#filter4663)"
+ id="g6273">
+
+
+ transform="translate(-63.508602,436.95653)"
+ style="fill:#000ea6;fill-opacity:1;stroke:none;filter:url(#filter4929-6)"
+ id="g6279">
+
+
+
+ id="path6287"
+ d="m 295.93333,942.76667 a 2.6669333,2.6669333 0 0 0 -2.36666,2.7 v 48.46666 a 2.6669333,2.6669333 0 1 0 5.33333,0 v -48.46666 a 2.6669333,2.6669333 0 0 0 -2.96667,-2.7 z"
+ style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#ff0012;fill-opacity:1;stroke:none;stroke-width:5.33333349;marker:none;enable-background:accumulate" />
+
+ id="g6297"
+ style="fill:#ff0012;fill-opacity:1;stroke:none;filter:url(#filter4663)"
+ transform="translate(33.051853,109.12543)">
+ id="path6301" />
@@ -11673,318 +12133,35 @@
id="path4933-5" />
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+ transform="matrix(0,1,1,0,-35.030787,351.5018)"
+ style="fill:#000ea6;fill-opacity:1;stroke:none;filter:url(#filter4929-6-4-3)"
+ id="g6441-6">
+
+
+
+
+
+
- x4≡x5
- x5
- z6
- x6
- z0≡x2
- z2≡x0≡x1
- z1
- z3
- z4
- z5
- x5
- z6
- x6
x
+
+ z1
+ z3
+ z4
+ z5
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ x3≡x4
+ x5
+ z6
+ x6
+ z0≡x2
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ z2≡x0≡x1
+
+
+
+
+
+
+ z1
+ z3
+ z4
+ z5
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ x3≡x4
+ x5
+ z6
+ x6
+ z0≡x2
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ z2≡x0≡x1
+
+
+
+
+