update docs

3 files changed, 3 insertions, 0 deletions

diff --git a/images/denial-admission.svg b/images/denial-admission.svg
new file mode 100644
index 0000000..80aa002
--- /dev/null
+++ b/images/denial-admission.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" data-diagram-type="SEQUENCE" height="617px" preserveAspectRatio="none" style="width:878px;height:617px;background:#FFFFFF;" version="1.1" viewBox="0 0 878 617" width="878px" zoomAndPan="magnify"><?plantuml 1.2026.3?><defs/><g><rect fill="none" height="270.75" style="stroke:#000000;stroke-width:1.5;" width="655.8955" x="206.4834" y="128.5977"/><rect fill="none" height="180.8184" style="stroke:#000000;stroke-width:1.5;" width="635.8955" x="216.4834" y="182.2188"/><rect fill="none" height="120.1973" style="stroke:#000000;stroke-width:1.5;" width="615.8955" x="226.4834" y="235.8398"/><rect fill="none" height="103.8867" style="stroke:#000000;stroke-width:1.5;" width="397.9121" x="10" y="442.6582"/><g class="participant-lifeline" data-entity-uid="part1" data-qualified-name="Publish" data-source-line="1" id="part1-lifeline"><g><title>Scope.publish</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="70.291" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="74" x2="74" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part2" data-qualified-name="BranchManager" data-source-line="2" id="part2-lifeline"><g><title>BranchManager</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="291.7476" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="295.4834" x2="295.4834" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part3" data-qualified-name="Branch" data-source-line="3" id="part3-lifeline"><g><title>proposed</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="478.9839" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="482.7891" x2="482.7891" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part4" data-qualified-name="Multigroup" data-source-line="4" id="part4-lifeline"><g><title>Multigroup</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="582.4961" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="586.1787" x2="586.1787" y1="52.9766" y2="563.5449"/></g></g><g class="participant-lifeline" data-entity-uid="part5" data-qualified-name="Denial" data-source-line="5" id="part5-lifeline"><g><title>Denial</title><rect fill="#000000" fill-opacity="0.00000" height="510.5684" width="8" x="799.979" y="52.9766"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="803.5791" x2="803.5791" y1="52.9766" y2="563.5449"/></g></g><g class="participant participant-head" data-entity-uid="part1" data-qualified-name="Publish" data-source-line="1" id="part1-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="108.582" x="20" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="94.582" x="27" y="42.0234">Scope.publish</text></g><g class="participant participant-tail" data-entity-uid="part1" data-qualified-name="Publish" data-source-line="1" id="part1-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="108.582" x="20" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="94.582" x="27" y="583.0801">Scope.publish</text></g><g class="participant participant-head" data-entity-uid="part2" data-qualified-name="BranchManager" data-source-line="2" id="part2-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="118.5283" x="236.4834" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="104.5283" x="243.4834" y="42.0234">BranchManager</text></g><g class="participant participant-tail" data-entity-uid="part2" data-qualified-name="BranchManager" data-source-line="2" id="part2-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="118.5283" x="236.4834" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="104.5283" x="243.4834" y="583.0801">BranchManager</text></g><g class="participant participant-head" data-entity-uid="part3" data-qualified-name="Branch" data-source-line="3" id="part3-head"><rect fill="#E2E2F0" height="46.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="98.3896" x="433.7891" y="5"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="64.2988" x="450.8345" y="25.5352">proposed</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="84.3896" x="440.7891" y="42.0234">branch state</text></g><g class="participant participant-tail" data-entity-uid="part3" data-qualified-name="Branch" data-source-line="3" id="part3-tail"><rect fill="#E2E2F0" height="46.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="98.3896" x="433.7891" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="64.2988" x="450.8345" y="583.0801">proposed</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="84.3896" x="440.7891" y="599.5684">branch state</text></g><g class="participant participant-head" data-entity-uid="part4" data-qualified-name="Multigroup" data-source-line="4" id="part4-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="88.6348" x="542.1787" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="74.6348" x="549.1787" y="42.0234">Multigroup</text></g><g class="participant participant-tail" data-entity-uid="part4" data-qualified-name="Multigroup" data-source-line="4" id="part4-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="88.6348" x="542.1787" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="74.6348" x="549.1787" y="583.0801">Multigroup</text></g><g class="participant participant-head" data-entity-uid="part5" data-qualified-name="Denial" data-source-line="5" id="part5-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="56.7998" x="775.5791" y="21.4883"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="42.7998" x="782.5791" y="42.0234">Denial</text></g><g class="participant participant-tail" data-entity-uid="part5" data-qualified-name="Denial" data-source-line="5" id="part5-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="56.7998" x="775.5791" y="562.5449"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="42.7998" x="782.5791" y="583.0801">Denial</text></g><g class="message" data-entity-1="part1" data-entity-2="part2" data-source-line="7" id="msg1"><polygon fill="#181818" points="283.7476,80.2871,293.7476,84.2871,283.7476,88.2871,287.7476,84.2871" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="74.291" x2="289.7476" y1="84.2871" y2="84.2871"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="93.1646" x="81.291" y="79.5449">move the head</text></g><g class="message" data-entity-1="part2" data-entity-2="part3" data-source-line="8" id="msg2"><polygon fill="#181818" points="470.9839,109.5977,480.9839,113.5977,470.9839,117.5977,474.9839,113.5977" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="295.7476" x2="476.9839" y1="113.5977" y2="113.5977"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="36.2261" x="302.7476" y="108.8555">check</text></g><path d="M206.4834,128.5977 L280.9302,128.5977 L280.9302,135.9082 L270.9302,145.9082 L206.4834,145.9082 L206.4834,128.5977" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="270.75" style="stroke:#000000;stroke-width:1.5;" width="655.8955" x="206.4834" y="128.5977"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="29.4468" x="221.4834" y="142.166">loop</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="101.0679" x="295.9302" y="141.2324">[each multigroup]</text><g class="message" data-entity-1="part3" data-entity-2="part4" data-source-line="10" id="msg3"><polygon fill="#181818" points="574.4961,163.2188,584.4961,167.2188,574.4961,171.2188,578.4961,167.2188" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="482.9839" x2="580.4961" y1="167.2188" y2="167.2188"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="36.2261" x="489.9839" y="162.4766">check</text></g><path d="M216.4834,182.2188 L290.9302,182.2188 L290.9302,189.5293 L280.9302,199.5293 L216.4834,199.5293 L216.4834,182.2188" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="180.8184" style="stroke:#000000;stroke-width:1.5;" width="635.8955" x="216.4834" y="182.2188"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="29.4468" x="231.4834" y="195.7871">loop</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="72.3486" x="305.9302" y="194.8535">[each denial]</text><g class="message" data-entity-1="part4" data-entity-2="part5" data-source-line="12" id="msg4"><polygon fill="#181818" points="791.979,216.8398,801.979,220.8398,791.979,224.8398,795.979,220.8398" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="586.4961" x2="797.979" y1="220.8398" y2="220.8398"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="42.1738" x="593.4961" y="216.0977">modes</text></g><path d="M226.4834,235.8398 L288.6221,235.8398 L288.6221,243.1504 L278.6221,253.1504 L226.4834,253.1504 L226.4834,235.8398" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="120.1973" style="stroke:#000000;stroke-width:1.5;" width="615.8955" x="226.4834" y="235.8398"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="17.1387" x="241.4834" y="249.4082">alt</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="211.5781" x="303.6221" y="248.4746">[not exhaustible with nothing bound]</text><g class="message" data-entity-1="part4" data-entity-2="part2" data-source-line="14" id="msg5"><polygon fill="#181818" points="306.7476,270.4609,296.7476,274.4609,306.7476,278.4609,302.7476,274.4609" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="300.7476" x2="585.4961" y1="274.4609" y2="274.4609"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="123.7603" x="312.7476" y="269.7188">unjudgeable-denial</text></g><line style="stroke:#000000;stroke-width:1;stroke-dasharray:2,2;" x1="226.4834" x2="842.3789" y1="283.4609" y2="283.4609"/><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="73.5786" x="231.4834" y="294.0957">[exhaustible]</text><g class="message" data-entity-1="part4" data-entity-2="part5" data-source-line="16" id="msg6"><polygon fill="#181818" points="791.979,314.7266,801.979,318.7266,791.979,322.7266,795.979,318.7266" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="586.4961" x2="797.979" y1="318.7266" y2="318.7266"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="193.4829" x="593.4961" y="313.9844">enumerate, read the first tuple</text></g><g class="message" data-entity-1="part5" data-entity-2="part4" data-source-line="17" id="msg7"><polygon fill="#181818" points="597.4961,344.0371,587.4961,348.0371,597.4961,352.0371,593.4961,348.0371" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="591.4961" x2="802.979" y1="348.0371" y2="348.0371"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="133.0532" x="603.4961" y="343.2949">a witness, or nothing</text></g><g class="message" data-entity-1="part4" data-entity-2="part3" data-source-line="20" id="msg8"><polygon fill="#181818" points="493.9839,387.3477,483.9839,391.3477,493.9839,395.3477,489.9839,391.3477" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="487.9839" x2="585.4961" y1="391.3477" y2="391.3477"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="60.709" x="499.9839" y="386.6055">violations</text></g><g class="message" data-entity-1="part3" data-entity-2="part2" data-source-line="22" id="msg9"><polygon fill="#181818" points="306.7476,423.6582,296.7476,427.6582,306.7476,431.6582,302.7476,427.6582" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="300.7476" x2="481.9839" y1="427.6582" y2="427.6582"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="163.2363" x="312.7476" y="422.916">violations, named by path</text></g><path d="M10,442.6582 L72.1387,442.6582 L72.1387,449.9688 L62.1387,459.9688 L10,459.9688 L10,442.6582" fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="103.8867" style="stroke:#000000;stroke-width:1.5;" width="397.9121" x="10" y="442.6582"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="700" lengthAdjust="spacing" textLength="17.1387" x="25" y="456.2266">alt</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="36.0723" x="87.1387" y="455.293">[none]</text><g class="message" data-entity-1="part2" data-entity-2="part2" data-source-line="24" id="msg10"><line style="stroke:#181818;stroke-width:1;" x1="295.7476" x2="337.7476" y1="481.2793" y2="481.2793"/><line style="stroke:#181818;stroke-width:1;" x1="337.7476" x2="337.7476" y1="481.2793" y2="494.2793"/><line style="stroke:#181818;stroke-width:1;" x1="296.7476" x2="337.7476" y1="494.2793" y2="494.2793"/><polygon fill="#181818" points="306.7476,490.2793,296.7476,494.2793,306.7476,498.2793,302.7476,494.2793" style="stroke:#181818;stroke-width:1;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="93.1646" x="302.7476" y="476.5371">move the head</text></g><line style="stroke:#000000;stroke-width:1;stroke-dasharray:2,2;" x1="10" x2="407.9121" y1="503.2793" y2="503.2793"/><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="700" lengthAdjust="spacing" textLength="38.5107" x="15" y="513.9141">[some]</text><g class="message" data-entity-1="part2" data-entity-2="part1" data-source-line="26" id="msg11"><polygon fill="#181818" points="85.291,534.5449,75.291,538.5449,85.291,542.5449,81.291,538.5449" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="79.291" x2="294.7476" y1="538.5449" y2="538.5449"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="197.4565" x="91.291" y="533.8027">refused, one witness per denial</text></g><?plantuml-src TPAzJiGm48JxFCNgwXmFS0K5eZq9YPPc4-_51cTj-UU0jsVFlln1I155pZVhcR4zXcHwuv4J75vxv-d1vywQg0-04LxgT-DNs5D0xlKP6GSAcpy77vntaTGRTmM2c31HcLHL6_oSRJ93SDblbf-93TgckUyDnyVjbd22qLq9aYRGXAhP_frnuNfD_KTZdVD0A2lZiYDCbF2BaLa3iAXKDGJoh4ZHLQV5Zw9O0BG9s2MWBuqv9jDPWa-Jz6rH6nwWSvbLGRVJTb9cVizg89GPnvK7if7MytU6hQmHvv62d48BGSeghLrCY0bIzhFuZXz_bu4tyqmnjk32bA6wA2dgUpU7gA_6MKp6SMnku5JuJjI5R85n90NTDtXCkgc5Ciq7zkUS_xiMfQVenXsfQAVRTP9QBbdkh2HackA25-pUkLZ_0G00?></g></svg>
\ No newline at end of file
diff --git a/images/evaluators-classes.svg b/images/evaluators-classes.svg
new file mode 100644
index 0000000..10c2aa7
--- /dev/null
+++ b/images/evaluators-classes.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" data-diagram-type="CLASS" height="528px" preserveAspectRatio="none" style="width:682px;height:528px;background:#FFFFFF;" version="1.1" viewBox="0 0 682 528" width="682px" zoomAndPan="magnify"><?plantuml 1.2026.3?><defs/><g><!--class Program--><g class="entity" data-qualified-name="Program" data-source-line="4" id="ent0002"><rect fill="#F1F1F1" height="98.0859" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="146.5039" x="295.92" y="7"/><ellipse cx="336.65" cy="27.3105" fill="#ADD1B2" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M339.1231,33.4536 Q338.5421,33.7524 337.9029,33.9019 Q337.2638,34.0513 336.5582,34.0513 Q334.0513,34.0513 332.7315,32.3994 Q331.4117,30.7476 331.4117,27.6265 Q331.4117,24.4971 332.7315,22.8452 Q334.0513,21.1934 336.5582,21.1934 Q337.2638,21.1934 337.9112,21.3428 Q338.5587,21.4922 339.1231,21.791 L339.1231,24.5137 Q338.4923,23.9326 337.8988,23.6628 Q337.3053,23.3931 336.6744,23.3931 Q335.3297,23.3931 334.6449,24.4597 Q333.96,25.5264 333.96,27.6265 Q333.96,29.7183 334.6449,30.7849 Q335.3297,31.8516 336.6744,31.8516 Q337.3053,31.8516 337.8988,31.5818 Q338.4923,31.312 339.1231,30.731 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="12" font-style="italic" lengthAdjust="spacing" textLength="48.041" x="361.0103" y="23.6016">&#171;image&#187;</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="57.3262" x="356.3678" y="39.668">Program</text><line style="stroke:#181818;stroke-width:0.5;" x1="296.92" x2="441.4239" y1="47.6211" y2="47.6211"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="115.6641" x="301.92" y="65.1563">evaluator : string</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="134.5039" x="301.92" y="81.6445">kind : Program.kind</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="97.9795" x="301.92" y="98.1328">source : string</text></g><!--class Executable--><g class="entity" data-qualified-name="Executable" data-source-line="9" id="ent0003"><rect fill="#F1F1F1" height="56.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="223.7979" x="443.27" y="205.33"/><ellipse cx="514.1894" cy="221.33" fill="#B4A7E5" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M510.6172,217.5951 L510.6172,215.4369 L517.9966,215.4369 L517.9966,217.5951 L515.5312,217.5951 L515.5312,225.6718 L517.9966,225.6718 L517.9966,227.83 L510.6172,227.83 L510.6172,225.6718 L513.0825,225.6718 L513.0825,217.5951 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" font-style="italic" lengthAdjust="spacing" textLength="73.459" x="534.6894" y="226.621">Executable</text><line style="stroke:#181818;stroke-width:0.5;" x1="444.27" x2="666.0679" y1="237.33" y2="237.33"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="211.7979" x="449.27" y="254.8652">invoke(inputs, within) : relation</text></g><!--class Evaluator--><g class="entity" data-qualified-name="Evaluator" data-source-line="12" id="ent0004"><rect fill="#F1F1F1" height="72.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="244.6475" x="54.84" y="197.09"/><ellipse cx="141.6154" cy="213.09" fill="#B4A7E5" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M138.0431,209.3551 L138.0431,207.1969 L145.4225,207.1969 L145.4225,209.3551 L142.9572,209.3551 L142.9572,217.4318 L145.4225,217.4318 L145.4225,219.59 L138.0431,219.59 L138.0431,217.4318 L140.5085,217.4318 L140.5085,209.3551 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" font-style="italic" lengthAdjust="spacing" textLength="62.5967" x="162.1154" y="218.381">Evaluator</text><line style="stroke:#181818;stroke-width:0.5;" x1="55.84" x2="298.4875" y1="229.09" y2="229.09"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="134.4561" x="60.84" y="246.6252">parse(source) : kind</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="232.6475" x="60.84" y="263.1134">eval(kind, inputs, within) : relation</text></g><!--class FOL--><g class="entity" data-qualified-name="FOL" data-source-line="16" id="ent0005"><rect fill="#F1F1F1" height="32" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="125.085" x="114.62" y="40.04"/><ellipse cx="129.62" cy="56.04" fill="#ADD1B2" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M132.0931,62.1831 Q131.5121,62.4819 130.8729,62.6313 Q130.2338,62.7807 129.5282,62.7807 Q127.0214,62.7807 125.7015,61.1289 Q124.3817,59.477 124.3817,56.3559 Q124.3817,53.2265 125.7015,51.5747 Q127.0214,49.9228 129.5282,49.9228 Q130.2338,49.9228 130.8812,50.0722 Q131.5287,50.2216 132.0931,50.5205 L132.0931,53.2431 Q131.4623,52.6621 130.8688,52.3923 Q130.2753,52.1225 129.6444,52.1225 Q128.2997,52.1225 127.6149,53.1892 Q126.9301,54.2558 126.9301,56.3559 Q126.9301,58.4477 127.6149,59.5144 Q128.2997,60.581 129.6444,60.581 Q130.2753,60.581 130.8688,60.3112 Q131.4623,60.0415 132.0931,59.4604 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="93.085" x="143.62" y="61.331">FOL evaluator</text></g><!--class EphemeralRelation--><g class="entity" data-qualified-name="EphemeralRelation" data-source-line="17" id="ent0006"><rect fill="#F1F1F1" height="32" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="158.2666" x="194.03" y="347.06"/><ellipse cx="209.03" cy="363.06" fill="#ADD1B2" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M211.5031,369.2031 Q210.9221,369.5019 210.2829,369.6513 Q209.6438,369.8007 208.9382,369.8007 Q206.4314,369.8007 205.1115,368.1489 Q203.7917,366.497 203.7917,363.3759 Q203.7917,360.2465 205.1115,358.5947 Q206.4314,356.9428 208.9382,356.9428 Q209.6438,356.9428 210.2912,357.0922 Q210.9387,357.2416 211.5031,357.5405 L211.5031,360.2631 Q210.8723,359.6821 210.2788,359.4123 Q209.6853,359.1425 209.0544,359.1425 Q207.7097,359.1425 207.0249,360.2092 Q206.3401,361.2758 206.3401,363.3759 Q206.3401,365.4677 207.0249,366.5344 Q207.7097,367.601 209.0544,367.601 Q209.6853,367.601 210.2788,367.3312 Q210.8723,367.0615 211.5031,366.4804 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="126.2666" x="223.03" y="368.351">EphemeralRelation</text></g><!--class Relation--><g class="entity" data-qualified-name="Relation" data-source-line="18" id="ent0007"><rect fill="#F1F1F1" height="72.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="156.334" x="7" y="440.06"/><ellipse cx="53.416" cy="456.06" fill="#B4A7E5" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M49.8438,452.3251 L49.8438,450.1669 L57.2231,450.1669 L57.2231,452.3251 L54.7578,452.3251 L54.7578,460.4018 L57.2231,460.4018 L57.2231,462.56 L49.8438,462.56 L49.8438,460.4018 L52.3091,460.4018 L52.3091,452.3251 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" font-style="italic" lengthAdjust="spacing" textLength="55.002" x="73.916" y="461.351">Relation</text><line style="stroke:#181818;stroke-width:0.5;" x1="8" x2="162.334" y1="472.06" y2="472.06"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="144.334" x="13" y="489.5952">contains(tuple) : bool</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="114.748" x="13" y="506.0834">modes() : Mode.t</text></g><!--class Enumerable--><g class="entity" data-qualified-name="Enumerable" data-source-line="22" id="ent0008"><rect fill="#F1F1F1" height="56.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="149.9902" x="198.17" y="448.31"/><ellipse cx="230.2867" cy="464.31" fill="#B4A7E5" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M226.7144,460.5751 L226.7144,458.4169 L234.0938,458.4169 L234.0938,460.5751 L231.6285,460.5751 L231.6285,468.6518 L234.0938,468.6518 L234.0938,470.81 L226.7144,470.81 L226.7144,468.6518 L229.1798,468.6518 L229.1798,460.5751 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" font-style="italic" lengthAdjust="spacing" textLength="79.9531" x="248.0904" y="469.601">Enumerable</text><line style="stroke:#181818;stroke-width:0.5;" x1="199.17" x2="347.1602" y1="480.31" y2="480.31"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="137.9902" x="204.17" y="497.8452">enumerate() : cursor</text></g><!--class Schematics--><g class="entity" data-qualified-name="Schematics" data-source-line="25" id="ent0009"><rect fill="#F1F1F1" height="56.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="146.1963" x="383.07" y="448.31"/><ellipse cx="415.442" cy="464.31" fill="#B4A7E5" rx="11" ry="11" style="stroke:#181818;stroke-width:1;"/><path d="M411.8698,460.5751 L411.8698,458.4169 L419.2492,458.4169 L419.2492,460.5751 L416.7838,460.5751 L416.7838,468.6518 L419.2492,468.6518 L419.2492,470.81 L411.8698,470.81 L411.8698,468.6518 L414.3351,468.6518 L414.3351,460.5751 Z " fill="#000000"/><text fill="#000000" font-family="sans-serif" font-size="14" font-style="italic" lengthAdjust="spacing" textLength="75.5918" x="433.3025" y="469.601">Schematics</text><line style="stroke:#181818;stroke-width:0.5;" x1="384.07" x2="528.2663" y1="480.31" y2="480.31"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="134.1963" x="389.07" y="497.8452">describe() : heading</text></g><!--link Program to Executable--><g class="link" data-entity-1="ent0002" data-entity-2="ent0003" data-link-type="extension" data-source-line="29" id="lnk10"><path codeLine="29" d="M420.48,105.47 C454.46,137.54 484.7085,166.0864 512.9185,192.7064" fill="none" id="Program-to-Executable" style="stroke:#181818;stroke-width:1;stroke-dasharray:7,7;"/><polygon fill="none" points="526.01,205.06,517.0364,188.3425,508.8006,197.0702,526.01,205.06" style="stroke:#181818;stroke-width:1;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="145.1646" x="485.3" y="156.1584">runs when given a root</text></g><!--link FOL to Evaluator--><g class="link" data-entity-1="ent0005" data-entity-2="ent0004" data-link-type="extension" data-source-line="30" id="lnk11"><path codeLine="30" d="M177.17,72.31 C177.17,99.84 177.17,140.46 177.17,178.66" fill="none" id="FOL-to-Evaluator" style="stroke:#181818;stroke-width:1;stroke-dasharray:7,7;"/><polygon fill="none" points="177.17,196.66,183.17,178.66,171.17,178.66,177.17,196.66" style="stroke:#181818;stroke-width:1;"/></g><!--link Program to Evaluator--><g class="link" data-entity-1="ent0002" data-entity-2="ent0004" data-link-type="dependency" data-source-line="31" id="lnk12"><path codeLine="31" d="M295.42,95.53 C277.23,106.89 258.57,120.29 243.17,135.09 C224.44,153.07 211.1185,172.044 199.3585,191.804" fill="none" id="Program-to-Evaluator" style="stroke:#181818;stroke-width:1;"/><polygon fill="#181818" points="196.29,196.96,204.3301,191.2717,198.8471,192.6634,197.4555,187.1803,196.29,196.96" style="stroke:#181818;stroke-width:1;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="71.9063" x="257.4747" y="148.6584">names it as</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="98.5156" x="244.17" y="163.9689">scope:language</text></g><!--link EphemeralRelation to Relation--><g class="link" data-entity-1="ent0006" data-entity-2="ent0007" data-link-type="extension" data-source-line="32" id="lnk13"><path codeLine="32" d="M247.42,379.33 C221.37,394.78 195.6428,410.0394 161.2728,430.4194" fill="none" id="EphemeralRelation-to-Relation" style="stroke:#181818;stroke-width:1;stroke-dasharray:7,7;"/><polygon fill="none" points="145.79,439.6,164.333,435.5803,158.2125,425.2584,145.79,439.6" style="stroke:#181818;stroke-width:1;"/></g><!--link EphemeralRelation to Enumerable--><g class="link" data-entity-1="ent0006" data-entity-2="ent0008" data-link-type="extension" data-source-line="33" id="lnk14"><path codeLine="33" d="M273.17,379.1 C273.17,396.69 273.17,408.18 273.17,429.93" fill="none" id="EphemeralRelation-to-Enumerable" style="stroke:#181818;stroke-width:1;stroke-dasharray:7,7;"/><polygon fill="none" points="273.17,447.93,279.17,429.93,267.17,429.93,273.17,447.93" style="stroke:#181818;stroke-width:1;"/></g><!--link EphemeralRelation to Schematics--><g class="link" data-entity-1="ent0006" data-entity-2="ent0009" data-link-type="extension" data-source-line="34" id="lnk15"><path codeLine="34" d="M298.23,379.33 C327.11,396.92 359.7669,416.8268 395.2969,438.4668" fill="none" id="EphemeralRelation-to-Schematics" style="stroke:#181818;stroke-width:1;stroke-dasharray:7,7;"/><polygon fill="none" points="410.67,447.83,398.418,433.3425,392.1759,443.5912,410.67,447.83" style="stroke:#181818;stroke-width:1;"/></g><!--link EphemeralRelation to Program--><g class="link" data-entity-1="ent0006" data-entity-2="ent0002" data-link-type="aggregation" data-source-line="35" id="lnk16"><path codeLine="35" d="M303.5423,339.0243 C312.8723,331.1743 313.92,328.58 320.17,317.06 C356.61,249.82 366.1196,166.0543 368.4896,111.5043" fill="none" id="EphemeralRelation-Program" style="stroke:#181818;stroke-width:1;"/><polygon fill="none" points="294.36,346.75,301.5264,345.9479,303.5423,339.0243,296.3759,339.8264,294.36,346.75" style="stroke:#181818;stroke-width:1;"/><polygon fill="#181818" points="368.75,105.51,364.3631,114.3279,368.533,110.5053,372.3556,114.6751,368.75,105.51" style="stroke:#181818;stroke-width:1;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="37.3242" x="359.49" y="238.6484">wraps</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="24.667" x="343.1256" y="125.7542">0..1</text></g><!--link Evaluator to EphemeralRelation--><g class="link" data-entity-1="ent0004" data-entity-2="ent0006" data-link-type="dependency" data-source-line="36" id="lnk17"><path codeLine="36" d="M204.16,270.43 C223.13,295.61 243.9418,323.2461 258.0618,342.0061" fill="none" id="Evaluator-to-EphemeralRelation" style="stroke:#181818;stroke-width:1;stroke-dasharray:7,7;"/><polygon fill="#181818" points="261.67,346.8,259.4536,337.2038,258.6632,342.8051,253.0618,342.0147,261.67,346.8" style="stroke:#181818;stroke-width:1;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="74.5278" x="237.59" y="313.6284">eval returns</text></g><?plantuml-src VL9DJyCm3BttLrWx5Gagk4xJ90uW8O50SENYPQQDrYPLx6ny_dUSTcsPO5ogvldvvVavbLqJKDFA6pJKh2XmnXlhMWpOWAcH-L8as5KKkZ7UFTbtWlCiwohm47oPU8k5RR2avH8-CW3QOXrHV80viFQwKa7LNEjvtr6aewBiOp0qyRuowuJ22ofuzKec2gvgwbIjs_eDvMej2f_2pafbtOcs1gfHh7U7pQE7rAlJCENzPQbbVtiocgV_K_XNjXzsTdr_Eyqs0sHGP5-yQYjgA63zEBHDNWQeiw8P2bh7kSIsxioilA-rqFWrSPw0E_qhv70S5vFwa0NrHw6ERs9W7mxuJqRjwAM6Exug6zrXJwy8rttMsR2_elXS_inRfu-EOLUHWz9kzOiGl9SiHT2JXnn6ZREp7wWgE6o8mOhczEpO-9RcDReowZl9VgNLYuxP7QbFAHnZJ7F_mV39ukoyA2vcuykTmovWg-pHUL4iVszJUMdp-YWa1iVV?></g></svg>
\ No newline at end of file
diff --git a/images/evaluators-reading.svg b/images/evaluators-reading.svg
new file mode 100644
index 0000000..29917bb
--- /dev/null
+++ b/images/evaluators-reading.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" data-diagram-type="SEQUENCE" height="565px" preserveAspectRatio="none" style="width:1056px;height:565px;background:#FFFFFF;" version="1.1" viewBox="0 0 1056 565" width="1056px" zoomAndPan="magnify"><?plantuml 1.2026.3?><defs/><g><g class="participant-lifeline" data-entity-uid="part1" data-qualified-name="Client" data-source-line="1" id="part1-lifeline"><g><title>Client</title><rect fill="#000000" fill-opacity="0.00000" height="401.0371" width="8" x="23.7524" y="81.4883"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="27" x2="27" y1="81.4883" y2="482.5254"/></g></g><g class="participant-lifeline" data-entity-uid="part2" data-qualified-name="Path" data-source-line="2" id="part2-lifeline"><g><title>Path.lookup</title><rect fill="#000000" fill-opacity="0.00000" height="401.0371" width="8" x="264.6138" y="81.4883"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="268.2373" x2="268.2373" y1="81.4883" y2="482.5254"/></g></g><g class="participant-lifeline" data-entity-uid="part3" data-qualified-name="Multigroup" data-source-line="3" id="part3-lifeline"><g><title>Multigroup</title><rect fill="#000000" fill-opacity="0.00000" height="401.0371" width="8" x="366.3076" y="81.4883"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="369.9902" x2="369.9902" y1="81.4883" y2="482.5254"/></g></g><g class="participant-lifeline" data-entity-uid="part4" data-qualified-name="E" data-source-line="4" id="part4-lifeline"><g><title>EphemeralRelation</title><rect fill="#000000" fill-opacity="0.00000" height="401.0371" width="8" x="636" y="81.4883"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="639.8667" x2="639.8667" y1="81.4883" y2="482.5254"/></g></g><g class="participant-lifeline" data-entity-uid="part5" data-qualified-name="Program" data-source-line="5" id="part5-lifeline"><g><title>Program</title><rect fill="#000000" fill-opacity="0.00000" height="401.0371" width="8" x="834.7192" y="81.4883"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="838.0562" x2="838.0562" y1="81.4883" y2="482.5254"/></g></g><g class="participant-lifeline" data-entity-uid="part6" data-qualified-name="Ev" data-source-line="6" id="part6-lifeline"><g><title>evaluator under</title><rect fill="#000000" fill-opacity="0.00000" height="401.0371" width="8" x="966.2104" y="81.4883"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5,5;" x1="969.9023" x2="969.9023" y1="81.4883" y2="482.5254"/></g></g><g class="participant participant-head" data-entity-uid="part1" data-qualified-name="Client" data-source-line="1" id="part1-head"><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="39.5049" x="5" y="78.5352">Client</text><ellipse cx="27.7524" cy="13.5" fill="#E2E2F0" rx="8" ry="8" style="stroke:#181818;stroke-width:0.5;"/><path d="M27.7524,21.5 L27.7524,48.5 M14.7524,29.5 L40.7524,29.5 M27.7524,48.5 L14.7524,63.5 M27.7524,48.5 L40.7524,63.5" fill="none" style="stroke:#181818;stroke-width:0.5;"/></g><g class="participant participant-tail" data-entity-uid="part1" data-qualified-name="Client" data-source-line="1" id="part1-tail"><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="39.5049" x="5" y="495.0605">Client</text><ellipse cx="27.7524" cy="506.5137" fill="#E2E2F0" rx="8" ry="8" style="stroke:#181818;stroke-width:0.5;"/><path d="M27.7524,514.5137 L27.7524,541.5137 M14.7524,522.5137 L40.7524,522.5137 M27.7524,541.5137 L14.7524,556.5137 M27.7524,541.5137 L40.7524,556.5137" fill="none" style="stroke:#181818;stroke-width:0.5;"/></g><g class="participant participant-head" data-entity-uid="part2" data-qualified-name="Path" data-source-line="2" id="part2-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.7529" x="221.2373" y="50"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.7529" x="228.2373" y="70.5352">Path.lookup</text></g><g class="participant participant-tail" data-entity-uid="part2" data-qualified-name="Path" data-source-line="2" id="part2-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="94.7529" x="221.2373" y="481.5254"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="80.7529" x="228.2373" y="502.0605">Path.lookup</text></g><g class="participant participant-head" data-entity-uid="part3" data-qualified-name="Multigroup" data-source-line="3" id="part3-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="88.6348" x="325.9902" y="50"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="74.6348" x="332.9902" y="70.5352">Multigroup</text></g><g class="participant participant-tail" data-entity-uid="part3" data-qualified-name="Multigroup" data-source-line="3" id="part3-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="88.6348" x="325.9902" y="481.5254"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="74.6348" x="332.9902" y="502.0605">Multigroup</text></g><g class="participant participant-head" data-entity-uid="part4" data-qualified-name="E" data-source-line="4" id="part4-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="140.2666" x="569.8667" y="50"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="126.2666" x="576.8667" y="70.5352">EphemeralRelation</text></g><g class="participant participant-tail" data-entity-uid="part4" data-qualified-name="E" data-source-line="4" id="part4-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="140.2666" x="569.8667" y="481.5254"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="126.2666" x="576.8667" y="502.0605">EphemeralRelation</text></g><g class="participant participant-head" data-entity-uid="part5" data-qualified-name="Program" data-source-line="5" id="part5-head"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="71.3262" x="803.0562" y="50"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="57.3262" x="810.0562" y="70.5352">Program</text></g><g class="participant participant-tail" data-entity-uid="part5" data-qualified-name="Program" data-source-line="5" id="part5-tail"><rect fill="#E2E2F0" height="30.4883" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="71.3262" x="803.0562" y="481.5254"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="57.3262" x="810.0562" y="502.0605">Program</text></g><g class="participant participant-head" data-entity-uid="part6" data-qualified-name="Ev" data-source-line="6" id="part6-head"><rect fill="#E2E2F0" height="46.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="150.6162" x="894.9023" y="33.5117"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="106.9551" x="916.7329" y="54.0469">evaluator under</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="136.6162" x="901.9023" y="70.5352">the program's name</text></g><g class="participant participant-tail" data-entity-uid="part6" data-qualified-name="Ev" data-source-line="6" id="part6-tail"><rect fill="#E2E2F0" height="46.9766" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="150.6162" x="894.9023" y="481.5254"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="106.9551" x="916.7329" y="502.0605">evaluator under</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="136.6162" x="901.9023" y="518.5488">the program's name</text></g><g class="message" data-entity-1="part1" data-entity-2="part2" data-source-line="8" id="msg1"><polygon fill="#181818" points="256.6138,108.7988,266.6138,112.7988,256.6138,116.7988,260.6138,112.7988" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="27.7524" x2="262.6138" y1="112.7988" y2="112.7988"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="216.8613" x="34.7524" y="108.0566">lookup a relation in a branch state</text></g><g class="message" data-entity-1="part2" data-entity-2="part3" data-source-line="9" id="msg2"><polygon fill="#181818" points="358.3076,138.1094,368.3076,142.1094,358.3076,146.1094,362.3076,142.1094" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="268.6138" x2="364.3076" y1="142.1094" y2="142.1094"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="37.521" x="275.6138" y="137.3672">find it</text></g><g class="message" data-entity-1="part3" data-entity-2="part4" data-source-line="10" id="msg3"><polygon fill="#181818" points="628,167.4199,638,171.4199,628,175.4199,632,171.4199" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="370.3076" x2="634" y1="171.4199" y2="171.4199"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="245.6924" x="377.3076" y="166.6777">load (evaluator name, source, heading)</text></g><g class="message" data-entity-1="part4" data-entity-2="part5" data-source-line="11" id="msg4"><polygon fill="#181818" points="826.7192,196.7305,836.7192,200.7305,826.7192,204.7305,830.7192,200.7305" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="640" x2="832.7192" y1="200.7305" y2="200.7305"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="114.7148" x="647" y="195.9883">Program.load root</text></g><g class="message" data-entity-1="part5" data-entity-2="part6" data-source-line="12" id="msg5"><polygon fill="#181818" points="958.2104,226.041,968.2104,230.041,958.2104,234.041,962.2104,230.041" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="838.7192" x2="964.2104" y1="230.041" y2="230.041"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="80.5645" x="845.7192" y="225.2988">parse source</text></g><g class="message" data-entity-1="part6" data-entity-2="part5" data-source-line="13" id="msg6"><polygon fill="#181818" points="849.7192,255.3516,839.7192,259.3516,849.7192,263.3516,845.7192,259.3516" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="843.7192" x2="969.2104" y1="259.3516" y2="259.3516"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="27.606" x="855.7192" y="254.6094">kind</text></g><g class="message" data-entity-1="part4" data-entity-2="part1" data-source-line="14" id="msg7"><polygon fill="#181818" points="38.7524,284.6621,28.7524,288.6621,38.7524,292.6621,34.7524,288.6621" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="32.7524" x2="639" y1="288.6621" y2="288.6621"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="193.7241" x="44.7524" y="283.9199">relation wrapping the program</text></g><g class="message" data-entity-1="part1" data-entity-2="part4" data-source-line="15" id="msg8"><polygon fill="#181818" points="628,313.9727,638,317.9727,628,321.9727,632,317.9727" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="27.7524" x2="634" y1="317.9727" y2="317.9727"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="67.3613" x="34.7524" y="313.2305">enumerate</text></g><g class="message" data-entity-1="part4" data-entity-2="part5" data-source-line="16" id="msg9"><polygon fill="#181818" points="826.7192,343.2832,836.7192,347.2832,826.7192,351.2832,830.7192,347.2832" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="640" x2="832.7192" y1="347.2832" y2="347.2832"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="174.7192" x="647" y="342.541">invoke ~within:branch state</text></g><g class="message" data-entity-1="part5" data-entity-2="part6" data-source-line="17" id="msg10"><polygon fill="#181818" points="958.2104,372.5938,968.2104,376.5938,958.2104,380.5938,962.2104,376.5938" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;" x1="838.7192" x2="964.2104" y1="376.5938" y2="376.5938"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="107.4912" x="845.7192" y="371.8516">eval kind ~within</text></g><g class="message" data-entity-1="part6" data-entity-2="part5" data-source-line="18" id="msg11"><polygon fill="#181818" points="849.7192,401.9043,839.7192,405.9043,849.7192,409.9043,845.7192,405.9043" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="843.7192" x2="969.2104" y1="405.9043" y2="405.9043"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="88.1626" x="855.7192" y="401.1621">result relation</text></g><g class="message" data-entity-1="part5" data-entity-2="part4" data-source-line="19" id="msg12"><polygon fill="#181818" points="651,431.2148,641,435.2148,651,439.2148,647,435.2148" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="645" x2="837.7192" y1="435.2148" y2="435.2148"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="88.1626" x="657" y="430.4727">result relation</text></g><g class="message" data-entity-1="part4" data-entity-2="part1" data-source-line="20" id="msg13"><polygon fill="#181818" points="38.7524,460.5254,28.7524,464.5254,38.7524,468.5254,34.7524,464.5254" style="stroke:#181818;stroke-width:1;"/><line style="stroke:#181818;stroke-width:1;stroke-dasharray:2,2;" x1="32.7524" x2="639" y1="464.5254" y2="464.5254"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="135.6431" x="44.7524" y="459.7832">cursor over the result</text></g><?plantuml-src PP2zRiCm38HtFGMHfItGv04yT2ay5WWoTs5jDXRYI095ELkVlPHirp-TRDDtv7U7ZNY6zzwI4nEGnJOse1Cud56wK-_zBOK3O8JylL5yf5xibNqAct4TEheJOt-X7iLwbytrHd9cVsMyR-_HW7t2J9DSI_pff2C8e_8fWiCx5OvwC6RaXUDReO8AHav0uFcerRlmnUYQ3gAWa2bIjIpSQloshWKhPZLKILrMOWlF2rK6U8Ne4pVwx0XRwwulfYuK8wQwfhTJSRFtOkP_UUsW2WqTQTfZT7BS-6_AatVgS0fPBPaUZ27eLLXLi-eYKvDBkNoDkmEpRl0tWf-7bSwwQjlC3Z67BYIp_3ydKzJ6_j2M5HF7_lykKfCuQgT-82vXHlal?></g></svg>
\ No newline at end of file