diff --git a/src/img/ferris/does_not_compile.svg b/src/img/ferris/does_not_compile.svg
index 5d345f1..48b7b4d 100644
--- a/src/img/ferris/does_not_compile.svg
+++ b/src/img/ferris/does_not_compile.svg
@@ -62,7 +62,7 @@
 	c28.121,9.526,56.653,10.049,81.229,3.207C610.833,790.881,585.746,745.985,585.746,745.985"/>
 <rect x="181.06" y="45.314" fill="none" width="1059.75" height="781.686"/>
 <g>
-	<path d="M92.314,318.146l0.072-12.563c-0.359-24.665,8.95-49.384,31.787-73.989c16.267-18.129,29.512-33.493,30.216-49.411
+	<path style="stroke:#ffffff;stroke-width:20" d="M92.314,318.146l0.072-12.563c-0.359-24.665,8.95-49.384,31.787-73.989c16.267-18.129,29.512-33.493,30.216-49.411
 		c0.747-16.883-9.835-28.95-33.932-30.499c-15.918-0.704-35.468,4.231-48.394,12.359l-14.075-53.303
 		c18.296-9.34,47.182-17.729,81.429-16.214c63.672,2.816,91.538,39.33,89.768,79.366c-1.621,36.659-25.84,59.753-45.066,79.202
 		c-18.24,19.009-26.789,37.48-27.267,59.207l-0.384,8.683L92.314,318.146z M76.808,384.64c1.152-26.048,19.789-43.105,44.872-41.997
diff --git a/src/img/trpl14-01.png b/src/img/trpl14-01.png
index 5fc5989..d7deaaf 100644
Binary files a/src/img/trpl14-01.png and b/src/img/trpl14-01.png differ
diff --git a/src/img/trpl14-02.png b/src/img/trpl14-02.png
index 78e7e7b..121801b 100644
Binary files a/src/img/trpl14-02.png and b/src/img/trpl14-02.png differ
diff --git a/src/img/trpl14-03.png b/src/img/trpl14-03.png
index ef84145..cf5a15c 100644
Binary files a/src/img/trpl14-03.png and b/src/img/trpl14-03.png differ
diff --git a/src/img/trpl14-04.png b/src/img/trpl14-04.png
index d0ed2ca..dc1caab 100644
Binary files a/src/img/trpl14-04.png and b/src/img/trpl14-04.png differ
diff --git a/src/img/trpl15-04.svg b/src/img/trpl15-04.svg
index 96ad98c..7285ae6 100644
--- a/src/img/trpl15-04.svg
+++ b/src/img/trpl15-04.svg
@@ -1,55 +1,84 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.36.0 (20140111.2315)
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.44.1 (20200629.0846)
  -->
-<!-- Title: %3 Pages: 1 -->
-<svg width="633pt" height="498pt" viewBox="0.00 0.00 633.33 498.19" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 115.566)">
-<title>%3</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-115.566 148,-115.566 148,4 -4,4"/>
-<!-- table0 -->
-<g id="node2" class="node"><title>table0</title>
-<polygon fill="none" stroke="black" points="0,-75.5656 0,-111.566 54,-111.566 54,-75.5656 0,-75.5656"/>
-<text text-anchor="middle" x="27" y="-89.8656" font-family="Times,serif" font-size="14.00">a</text>
-</g>
-<!-- table1 -->
-<g id="node4" class="node"><title>table1</title>
-<polygon fill="none" stroke="black" points="90,-75.5656 90,-111.566 144,-111.566 144,-75.5656 90,-75.5656"/>
-<text text-anchor="middle" x="104" y="-89.8656" font-family="Times,serif" font-size="14.00">5</text>
-<polyline fill="none" stroke="black" points="118,-75.5656 118,-111.566 "/>
-<text text-anchor="middle" x="131" y="-89.8656" font-family="Times,serif" font-size="14.00"> </text>
-</g>
-<!-- table2 -->
-<g id="node3" class="node"><title>table2</title>
-<polygon fill="none" stroke="black" points="90,-20.5656 90,-56.5656 144,-56.5656 144,-20.5656 90,-20.5656"/>
-<text text-anchor="middle" x="117" y="-34.8656" font-family="Times,serif" font-size="14.00">b</text>
-</g>
-<!-- table3 -->
-<g id="node1" class="node"><title>table3</title>
-<polygon fill="none" stroke="black" points="0,-20.5656 0,-56.5656 54,-56.5656 54,-20.5656 0,-20.5656"/>
-<text text-anchor="middle" x="16" y="-34.8656" font-family="Times,serif" font-size="14.00">10</text>
-<polyline fill="none" stroke="black" points="32,-20.5656 32,-56.5656 "/>
-<text text-anchor="middle" x="43" y="-34.8656" font-family="Times,serif" font-size="14.00"> </text>
-</g>
-<!-- table0&#45;&gt;table1 -->
-<g id="edge1" class="edge"><title>table0:ref-&gt;table1:data</title>
-<path fill="none" stroke="black" d="M54,-93.5656C66,-93.5656 71.25,-93.5656 78.875,-93.5656"/>
-<polygon fill="black" stroke="black" points="79,-97.0657 89,-93.5656 79,-90.0657 79,-97.0657"/>
-</g>
-<!-- table1&#45;&gt;table2 -->
-<g id="edge2" class="edge"><title>table1:ref-&gt;table2:data</title>
-<path fill="none" stroke="black" d="M123.1403,-65.1315C127.6523,-67.3402 133,-68.812 133,-75"/>
-<polygon fill="black" stroke="black" points="120.233,-67.0895 117,-57 125.8193,-62.8712 120.233,-67.0895"/>
-</g>
-<!-- table2&#45;&gt;table3 -->
-<g id="edge3" class="edge"><title>table2:ref-&gt;table3:data</title>
-<path fill="none" stroke="black" d="M117,-20.5656C117,2.6957 43.7375,5.56532 21.2401,-10.9567"/>
-<polygon fill="black" stroke="black" points="18.2098,-9.20375 16,-19.5656 24.1892,-12.8434 18.2098,-9.20375"/>
-</g>
-<!-- table3&#45;&gt;table0 -->
-<g id="edge4" class="edge"><title>table3:ref-&gt;table0:data</title>
-<path fill="none" stroke="black" d="M33.1409,-66.8685C37.6523,-64.6598 43,-63.188 43,-57"/>
-<polygon fill="black" stroke="black" points="30.233,-64.9105 27,-75 35.8193,-69.1288 30.233,-64.9105"/>
+<!-- Pages: 1 -->
+<svg width="750pt"
+ viewBox="0.00 0.00 1000 550" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(3.5 3.5) rotate(0) translate(4 148.09)">
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-148.09 274,-148.09 274,4 -4,4"/>
+<!-- l1 -->
+<g id="node1" class="node">
+<title>l1</title>
+<polygon fill="none" stroke="black" points="90,-52.59 90,-88.59 144,-88.59 144,-52.59 90,-52.59"/>
+<text text-anchor="middle" x="104" y="-66.89" font-family="Times,serif" font-size="14.00">5</text>
+<polyline fill="none" stroke="black" points="118,-52.59 118,-88.59 "/>
+<text text-anchor="middle" x="131" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
+</g>
+<!-- l2 -->
+<g id="node2" class="node">
+<title>l2</title>
+<polygon fill="none" stroke="black" points="180,-52.59 180,-88.59 234,-88.59 234,-52.59 180,-52.59"/>
+<text text-anchor="middle" x="196" y="-66.89" font-family="Times,serif" font-size="14.00">10</text>
+<polyline fill="none" stroke="black" points="212,-52.59 212,-88.59 "/>
+<text text-anchor="middle" x="223" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
+</g>
+<!-- l1&#45;&gt;l2 -->
+<g id="edge5" class="edge">
+<title>l1:c&#45;&gt;l2:data</title>
+<path fill="none" stroke="black" d="M144.31,-70.59C151.47,-70.59 160.69,-70.59 169.83,-70.59"/>
+<polygon fill="black" stroke="black" points="170,-74.09 180,-70.59 170,-67.09 170,-74.09"/>
+</g>
+<!-- invisible_end -->
+<g id="node4" class="node">
+<title>invisible_end</title>
+<ellipse fill="black" stroke="black" cx="270" cy="-46.59" rx="0" ry="0"/>
+</g>
+<!-- l2&#45;&gt;invisible_end -->
+<g id="edge6" class="edge">
+<title>l2:c&#45;&gt;invisible_end:n</title>
+<path fill="none" stroke="black" d="M234.38,-69.89C248.29,-68.34 270,-63.4 270,-47.59"/>
+</g>
+<!-- invisible_start -->
+<g id="node3" class="node">
+<title>invisible_start</title>
+<ellipse fill="black" stroke="black" cx="27" cy="-37.59" rx="0" ry="0"/>
+</g>
+<!-- invisible_start&#45;&gt;l1 -->
+<g id="edge3" class="edge">
+<title>invisible_start:n&#45;&gt;l1</title>
+<path fill="none" stroke="black" d="M27,-38.59C27,-50.42 55.22,-59.08 79.87,-64.38"/>
+<polygon fill="black" stroke="black" points="79.28,-67.83 89.78,-66.38 80.67,-60.97 79.28,-67.83"/>
+</g>
+<!-- invisible_start&#45;&gt;invisible_end -->
+<g id="edge4" class="edge">
+<title>invisible_start:s&#45;&gt;invisible_end:s</title>
+<path fill="none" stroke="black" d="M27,-36.59C27,17.45 270,8.45 270,-45.59"/>
+</g>
+<!-- a -->
+<g id="node5" class="node">
+<title>a</title>
+<polygon fill="none" stroke="black" points="0,-70.59 0,-106.59 54,-106.59 54,-70.59 0,-70.59"/>
+<text text-anchor="middle" x="27" y="-84.89" font-family="Times,serif" font-size="14.00">a</text>
+</g>
+<!-- a&#45;&gt;l1 -->
+<g id="edge1" class="edge">
+<title>a&#45;&gt;l1:n</title>
+<path fill="none" stroke="black" d="M54.22,-93.79C73.3,-97.06 97.79,-100.05 109.76,-96.58"/>
+<polygon fill="black" stroke="black" points="112.24,-99.06 117,-89.59 107.38,-94.02 112.24,-99.06"/>
+</g>
+<!-- b -->
+<g id="node6" class="node">
+<title>b</title>
+<polygon fill="none" stroke="black" points="90,-107.59 90,-143.59 144,-143.59 144,-107.59 90,-107.59"/>
+<text text-anchor="middle" x="117" y="-121.89" font-family="Times,serif" font-size="14.00">b</text>
+</g>
+<!-- b&#45;&gt;l2 -->
+<g id="edge2" class="edge">
+<title>b&#45;&gt;l2:n</title>
+<path fill="none" stroke="black" d="M144.22,-125.57C166.99,-124.22 197.48,-118.71 205.18,-99.44"/>
+<polygon fill="black" stroke="black" points="208.62,-100.06 207,-89.59 201.74,-98.79 208.62,-100.06"/>
 </g>
 </g>
 </svg>