diff --git a/scribblings/asymptote-images b/scribblings/asymptote-images
deleted file mode 120000
index 143f823a0..000000000
--- a/scribblings/asymptote-images
+++ /dev/null
@@ -1 +0,0 @@
-../asymptote-images
\ No newline at end of file
diff --git a/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.asy b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.asy
new file mode 100644
index 000000000..6cf4b52c4
--- /dev/null
+++ b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.asy
@@ -0,0 +1,36 @@
+import drawtree;
+
+
+size(4cm, 0);
+
+
+TreeNode root = makeNode("let");
+
+
+TreeNode bindings = makeNode(root, "bindings");
+
+
+TreeNode binding = makeNode(bindings, "binding");
+
+
+TreeNode bid = makeNode(binding, "id");
+
+
+TreeNode bexpr = makeNode(binding, "expr");
+
+
+TreeNode bindingddd = makeNode(bindings, "\vphantom{bg}\dots");
+
+
+TreeNode body = makeNode(root, "body");
+
+
+TreeNode bodyddd = makeNode(root, "\vphantom{bg}\dots");
+
+
+
+
+draw(root, (0,0));
+
+
+shipout(scale(2)*currentpicture.fit());
diff --git a/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.pdf b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.pdf
new file mode 100644
index 000000000..563153e5f
Binary files /dev/null and b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.pdf differ
diff --git a/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.png b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.png
new file mode 100644
index 000000000..b49526b05
Binary files /dev/null and b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.png differ
diff --git a/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.svg b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.svg
new file mode 100644
index 000000000..da7e2f1b1
--- /dev/null
+++ b/scribblings/asymptote-images/e56b09d1a37d8830bd93ce152f045f46.svg
@@ -0,0 +1,93 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   viewBox="0 0 750.33752 243.325"
+   height="243.325"
+   width="750.33752"
+   xml:space="preserve"
+   version="1.1"
+   id="svg2"><metadata
+     id="metadata8"><rdf:RDF><cc:Work
+         rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
+     id="defs6" /><g
+     transform="matrix(1.25,0,0,-1.25,0,243.325)"
+     id="g10"><g
+       transform="scale(0.1,0.1)"
+       id="g12"><path
+         id="path14"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 2806.78,1705.58 329.914,0 0,235.832 -329.914,0 0,-235.832 z" /><path
+         id="path16"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 1089.87,1115.48 929.445,0 0,282.32 -929.445,0 0,-282.32 z" /><path
+         id="path18"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 1554.59,1402.8 1417.15,297.78" /><path
+         id="path20"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 427.461,548.617 837.109,0 0,282.32 -837.109,0 0,-282.32 z" /><path
+         id="path22"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="M 846.016,835.938 1554.59,1110.48" /><path
+         id="path24"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 5,5 264.887,0 0,235.836 L 5,240.836 5,5 Z" /><path
+         id="path26"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="M 137.441,245.836 846.016,543.617" /><path
+         id="path28"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 1295.35,13.3008 518.484,0 0,219.234 -518.484,0 0,-219.234 z" /><path
+         id="path30"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="M 1554.59,237.531 846.016,543.617" /><path
+         id="path32"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 2780.77,548.617 381.93,0 0,282.32 -381.93,0 0,-282.32 z" /><path
+         id="path34"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="M 2971.74,835.938 1554.59,1110.48" /><path
+         id="path36"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 4097.13,1115.48 583.512,0 0,282.32 -583.512,0 0,-282.32 z" /><path
+         id="path38"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="M 4388.89,1402.8 2971.74,1700.58" /><path
+         id="path40"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 5615.07,1115.48 381.934,0 0,282.32 -381.934,0 0,-282.32 z" /><path
+         id="path42"
+         style="fill:none;stroke:#000000;stroke-width:9.99876022;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
+         d="m 5806.04,1402.8 -2834.3,297.78" /><g
+         transform="scale(10,10)"
+         id="g44"><text
+           id="text46"
+           style="font-variant:normal;font-weight:normal;font-size:23.9102993px;font-family:CMR12;-inkscape-font-specification:CMR12;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
+           transform="matrix(1,0,0,-1,284.28,174)"><tspan
+             id="tspan48"
+             y="0"
+             x="0 6.4796915 16.799665">let</tspan><tspan
+             id="tspan50"
+             y="54.359798"
+             x="-171.72 -158.76003 -152.28033 -139.32036 -126.36037 -119.88068 -106.92071 -95.160713">bindings</tspan><tspan
+             id="tspan52"
+             y="111"
+             x="-238.0802 -225.12022 -218.64053 -205.68056 -192.72057 -186.24088 -173.2809">binding</tspan><tspan
+             id="tspan54"
+             y="169.91991"
+             x="-280.32001 -273.8403">id</tspan><tspan
+             id="tspan56"
+             y="164.63982"
+             x="-151.08 -140.76003 -128.52003 -115.56006">expr</tspan><tspan
+             id="tspan58"
+             y="111.00002"
+             x="-2.6400001 7.6796136 17.999228">...</tspan><tspan
+             id="tspan60"
+             y="54.359821"
+             x="129 142.68007 155.16014 168.12015 280.79984 291.11948 301.43909">body...</tspan></text>
+</g></g></g></svg>
\ No newline at end of file