diff --git a/Graph-notes-copy2.vue b/Graph-notes-copy2.vue
new file mode 100644
index 0000000..7730a87
--- /dev/null
+++ b/Graph-notes-copy2.vue
@@ -0,0 +1,2153 @@
+<!-- Tufts VUE 3.3.0 concept-map (Graph-notes-copy2.vue) 2016-11-16 -->
+<!-- Tufts VUE: http://vue.tufts.edu/ -->
+<!-- Do Not Remove: VUE mapping @version(1.1) jar:file:/nix/store/miyaz9by4k195j53sbl6mgyky60xqjf1-vue-3.3.0/share/vue/vue.jar!/tufts/vue/resources/lw_mapping_1_1.xml -->
+<!-- Do Not Remove: Saved date Wed Nov 16 18:43:16 CET 2016 by georges on platform Linux 4.4.26 in JVM 1.8.0_76-00 -->
+<!-- Do Not Remove: Saving version @(#)VUE: built October 8 2015 at 1724 by tomadm on Linux 2.6.32-504.23.4.el6.x86_64 i386 JVM 1.7.0_21-b11(bits=32) -->
+<?xml version="1.0" encoding="US-ASCII"?>
+<LW-MAP xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xsi:noNamespaceSchemaLocation="none" ID="0"
+    label="Graph-notes-copy2.vue" created="1479309847604" x="0.0"
+    y="0.0" width="1.4E-45" height="1.4E-45" strokeWidth="0.0" autoSized="false">
+    <resource referenceCreated="1479318196226" size="112702"
+        spec="/home/georges/phc/racket-packages/phc-graph/Graph-notes-copy2.vue"
+        type="1" xsi:type="URLResource">
+        <title>Graph-notes-copy2.vue</title>
+        <property key="File" value="/home/georges/phc/racket-packages/phc-graph/Graph-notes-copy2.vue"/>
+    </resource>
+    <fillColor>#FFFFFF</fillColor>
+    <strokeColor>#404040</strokeColor>
+    <textColor>#000000</textColor>
+    <font>SansSerif-plain-14</font>
+    <URIString>http://vue.tufts.edu/rdf/resource/6dbf6af7c0a80026548592b8dffca40a</URIString>
+    <child ID="6" label="Graph" layerID="1" created="1479309863303"
+        x="1370.5449" y="544.5457" width="51.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6afcc0a80026548592b833e3a781</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="7" label="Auto-generation of mappings" layerID="1"
+        created="1479309887096" x="1542.3673" y="532.9207" width="231.0"
+        height="46.25" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#8AEE95</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6afec0a80026548592b88abb8384</URIString>
+        <child ID="9" label="As a wrapper?" created="1479309895903"
+            x="34.0" y="23.0" width="105.0" height="23.0"
+            strokeWidth="1.0" autoSized="true" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#776D6D</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b00c0a80026548592b8a0766ac6</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="8" layerID="1" created="1479309887097" x="1421.0449"
+        y="555.5457" width="121.82239" height="1.0" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6affc0a80026548592b80b4ee7cc</URIString>
+        <point1 x="1421.5449" y="556.0457"/>
+        <point2 x="1542.3673" y="556.0457"/>
+        <ID1 xsi:type="node">6</ID1>
+        <ID2 xsi:type="node">7</ID2>
+    </child>
+    <child ID="11" label="Structural equality" layerID="1"
+        created="1479309904736" x="1331.5449" y="679.30304"
+        width="129.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#8AEE95</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b03c0a80026548592b81914701e</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="12" layerID="1" created="1479309904738" x="1395.5449"
+        y="567.0457" width="1.0" height="112.757324" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b04c0a80026548592b8c27d0837</URIString>
+        <point1 x="1396.0449" y="567.5457"/>
+        <point2 x="1396.0449" y="679.30304"/>
+        <ID1 xsi:type="node">6</ID1>
+        <ID2 xsi:type="node">11</ID2>
+    </child>
+    <child ID="13" label="Invariants" layerID="1"
+        created="1479309905789" x="1195.0447" y="544.5457" width="75.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#8AEE95</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b05c0a80026548592b80343782b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="14" layerID="1" created="1479309905791" x="1269.5447"
+        y="555.5457" width="101.500244" height="1.0" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b06c0a80026548592b870fb7c6a</URIString>
+        <point1 x="1370.5449" y="556.0457"/>
+        <point2 x="1270.0447" y="556.0457"/>
+        <ID1 xsi:type="node">6</ID1>
+        <ID2 xsi:type="node">13</ID2>
+    </child>
+    <child ID="15" label="Other" layerID="1" created="1479309906604"
+        x="1372.0449" y="409.30307" width="48.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b07c0a80026548592b8f5e19e10</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="16" layerID="1" created="1479309906606" x="1395.5449"
+        y="431.80304" width="1.0" height="113.242645" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b08c0a80026548592b840ee8fa0</URIString>
+        <point1 x="1396.0449" y="544.5457"/>
+        <point2 x="1396.0449" y="432.30307"/>
+        <ID1 xsi:type="node">6</ID1>
+        <ID2 xsi:type="node">15</ID2>
+    </child>
+    <child ID="17" label="Scope" layerID="1" created="1479309922342"
+        x="888.125" y="402.36423" width="52.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b09c0a80026548592b8217a1807</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="18" layerID="1" created="1479309922344" x="935.15173"
+        y="422.97638" width="272.13837" height="122.069305"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b09c0a80026548592b8dfab693e</URIString>
+        <point1 x="1206.7902" y="544.5457"/>
+        <point2 x="935.6518" y="423.4764"/>
+        <ID1 xsi:type="node">13</ID1>
+        <ID2 xsi:type="node">17</ID2>
+    </child>
+    <child ID="19" label="Verification time" layerID="1"
+        created="1479309923132" x="862.125" y="534.5457" width="116.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b0ac0a80026548592b87ee8d14b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="20" label="nn" layerID="1" created="1479309923134"
+        x="977.55347" y="544.3727" width="217.99121" height="14.0"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b11c0a80026548592b89f9e9272</URIString>
+        <point1 x="1195.0447" y="554.8454"/>
+        <point2 x="978.05347" y="547.8999"/>
+        <ID1 xsi:type="node">13</ID1>
+        <ID2 xsi:type="node">19</ID2>
+    </child>
+    <child ID="21" label="Specification" layerID="1"
+        created="1479309923917" x="870.625" y="682.8775" width="94.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b12c0a80026548592b83be06baa</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="22" layerID="1" created="1479309923919" x="943.3053"
+        y="567.0457" width="263.55908" height="116.33179"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b13c0a80026548592b8f03d2a45</URIString>
+        <point1 x="1206.3644" y="567.5457"/>
+        <point2 x="943.8053" y="682.8775"/>
+        <ID1 xsi:type="node">13</ID1>
+        <ID2 xsi:type="node">21</ID2>
+    </child>
+    <child ID="23" label="Coloring" layerID="1" created="1479309940842"
+        x="1363.5449" y="327.30307" width="65.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#8AEE95</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b14c0a80026548592b8bc35fbb9</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="24" layerID="1" created="1479309940844" x="1395.5449"
+        y="349.80307" width="1.0" height="60.0" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b14c0a80026548592b87410806e</URIString>
+        <point1 x="1396.0449" y="409.30307"/>
+        <point2 x="1396.0449" y="350.30307"/>
+        <ID1 xsi:type="node">15</ID1>
+        <ID2 xsi:type="node">23</ID2>
+    </child>
+    <child ID="25" label="Coalesce nodes which are equal?" layerID="1"
+        created="1479310031080" x="1279.0449" y="895.30304"
+        width="234.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a307c0a80026548592b8c2af76c4</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="26" layerID="1" created="1479310031081" x="1395.5449"
+        y="701.80304" width="1.0" height="194.0" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a307c0a80026548592b8a04c0bf0</URIString>
+        <point1 x="1396.0449" y="702.30304"/>
+        <point2 x="1396.0449" y="895.30304"/>
+        <ID1 xsi:type="node">11</ID1>
+        <ID2 xsi:type="node">25</ID2>
+    </child>
+    <child ID="27" label="Hash consing" layerID="1"
+        created="1479310041195" x="1133.1572" y="1014.7637"
+        width="100.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a308c0a80026548592b8ff6b1596</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="28" layerID="1" created="1479310041197" x="1203.1511"
+        y="917.803" width="172.90002" height="97.46063"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a308c0a80026548592b8be3bbbf2</URIString>
+        <point1 x="1375.551" y="918.30304"/>
+        <point2 x="1203.651" y="1014.7637"/>
+        <ID1 xsi:type="node">25</ID1>
+        <ID2 xsi:type="node">27</ID2>
+    </child>
+    <child ID="29"
+        label="= deterministic finite automaton minimization&#xa;(when there are no unordered sets)"
+        layerID="1" created="1479310064475" x="1051.3567" y="1141.0577"
+        width="302.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a309c0a80026548592b84e893214</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="33" label="=" layerID="1" created="1479310109124"
+        x="1297.7559" y="1027.0216" width="22.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a30ac0a80026548592b8ea42a1af</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="34" layerID="1" created="1479310109126" x="1314.6741"
+        y="917.803" width="74.24988" height="111.53345"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a30ac0a80026548592b87117f4c4</URIString>
+        <point1 x="1388.4241" y="918.303"/>
+        <point2 x="1315.1742" y="1028.8364"/>
+        <ID1 xsi:type="node">25</ID1>
+        <ID2 xsi:type="node">33</ID2>
+    </child>
+    <child ID="35" layerID="1" created="1479310112683" x="1218.4905"
+        y="1046.8333" width="83.05139" height="94.72449"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a30bc0a80026548592b83098fe4a</URIString>
+        <point1 x="1301.0417" y="1047.3333"/>
+        <point2 x="1218.9904" y="1141.0577"/>
+        <ID1 xsi:type="node">33</ID1>
+        <ID2 xsi:type="node">29</ID2>
+    </child>
+    <child ID="36"
+        label="= deterministic finite automaton minimization&#xa;(when there are unordered sets)"
+        layerID="1" created="1479310130202" x="1377.7128" y="1139.0991"
+        width="302.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a30bc0a80026548592b8e12add9f</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="37" layerID="1" created="1479310130203" x="1318.3906"
+        y="1043.5312" width="175.87244" height="96.06787"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc1a30cc0a80026548592b879e5ac96</URIString>
+        <point1 x="1318.8907" y="1044.0312"/>
+        <point2 x="1493.7632" y="1139.0991"/>
+        <ID1 xsi:type="node">33</ID1>
+        <ID2 xsi:type="node">36</ID2>
+    </child>
+    <child ID="42"
+        label="Cache all calls to equal? while grouping nodes"
+        layerID="1" created="1479310644302" x="1362.7698" y="1029.8263"
+        width="315.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc99799c0a80026548592b87d2d4299</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="43" layerID="1" created="1479310644303" x="1406.1646"
+        y="917.803" width="103.985596" height="112.52338"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dc99799c0a80026548592b80979537c</URIString>
+        <point1 x="1406.6646" y="918.30304"/>
+        <point2 x="1509.6501" y="1029.8264"/>
+        <ID1 xsi:type="node">25</ID1>
+        <ID2 xsi:type="node">42</ID2>
+    </child>
+    <child ID="44"
+        label="Allows fast comparison of nodes within the same graph"
+        layerID="1" created="1479310691911" x="1539.634" y="991.3014"
+        width="373.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dcae10dc0a80026548592b847b6398e</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="45" layerID="1" created="1479310691912" x="1435.0875"
+        y="917.8031" width="252.0039" height="73.99835"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dcae10dc0a80026548592b8f409d90b</URIString>
+        <point1 x="1435.5875" y="918.30304"/>
+        <point2 x="1686.5914" y="991.3014"/>
+        <ID1 xsi:type="node">25</ID1>
+        <ID2 xsi:type="node">44</ID2>
+    </child>
+    <child ID="68" label="Type policy" layerID="1"
+        created="1479311229819" x="395.39288" y="229.19116" width="82.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd2c0a80026548592b8d3f60760</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="90" label="Macro policy" layerID="1"
+        created="1479311433081" x="-389.97388" y="-73.299225"
+        width="92.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd4c0a80026548592b8697d13c4</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="103" label="/!\ May interfere with each other"
+        layerID="1" created="1479311599825" x="-205.96884"
+        y="-212.25525" width="221.0" height="23.0" strokeWidth="3.0"
+        autoSized="true" xsi:type="node">
+        <fillColor>#FEFEC9</fillColor>
+        <strokeColor>#EA2218</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd5c0a80026548592b8ddb5b6c7</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="104" layerID="1" created="1479311599826" x="-323.90762"
+        y="-189.75525" width="208.3725" height="116.956024"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd5c0a80026548592b81da96232</URIString>
+        <point1 x="-323.40762" y="-73.299225"/>
+        <point2 x="-116.03512" y="-189.25525"/>
+        <ID1 xsi:type="node">90</ID1>
+        <ID2 xsi:type="node">103</ID2>
+    </child>
+    <child ID="105" label="May alter a mapping's inputs" layerID="1"
+        created="1479311627089" x="-134.56888" y="-119.67706"
+        width="198.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b853276e56</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="106" layerID="1" created="1479311627089" x="-300.1209"
+        y="-97.17706" width="188.57895" height="29.208054"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b89262c338</URIString>
+        <point1 x="-299.6209" y="-68.46901"/>
+        <point2 x="-112.041954" y="-96.67706"/>
+        <ID1 xsi:type="node">90</ID1>
+        <ID2 xsi:type="node">105</ID2>
+    </child>
+    <child ID="107"
+        label="May wrap or check or alter a mapping's outputs"
+        layerID="1" created="1479311633861" x="-222.12064"
+        y="-67.143234" width="322.0" height="23.0" strokeWidth="1.0"
+        autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b8c817c8d9</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="108" layerID="1" created="1479311633863" x="-298.47388"
+        y="-61.298088" width="77.25604" height="2.6596298"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dd89bd6c0a80026548592b88ac312bd</URIString>
+        <point1 x="-297.97388" y="-60.798088"/>
+        <point2 x="-221.71783" y="-59.13846"/>
+        <ID1 xsi:type="node">90</ID1>
+        <ID2 xsi:type="node">107</ID2>
+    </child>
+    <child ID="109" label="Wrap with ann" layerID="1"
+        created="1479311725257" x="179.63742" y="-87.783356"
+        width="102.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dda878ec0a80026548592b8416c8f4f</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="110" layerID="1" created="1479311725259" x="92.37849"
+        y="-73.20509" width="88.17851" height="7.167351"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dda878ec0a80026548592b8d9e1112c</URIString>
+        <point1 x="92.87848" y="-66.53774"/>
+        <point2 x="180.05699" y="-72.70509"/>
+        <ID1 xsi:type="node">107</ID1>
+        <ID2 xsi:type="node">109</ID2>
+    </child>
+    <child ID="134" label="Enforcement on the transform or creation"
+        layerID="1" created="1479312135902" x="513.5795" y="700.1646"
+        width="284.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b83703e1b4</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="135" label=" " layerID="1" created="1479312135902"
+        x="387.89288" y="700.1646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b885daa51d</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="136" label=" " layerID="1" created="1479312135902"
+        x="267.07953" y="700.1646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b88d7a52cf</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="137" label=" " layerID="1" created="1479312135902"
+        x="140.07953" y="700.1646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b8fe262430</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="138" label=" " layerID="1" created="1479312135902"
+        x="-10.920471" y="699.3646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44031c0a80026548592b8ba0f1bbc</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="139" label=" " layerID="1" created="1479312135902"
+        x="-174.5517" y="700.96466" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8ce56fcb8</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="140" label=" " layerID="1" created="1479312135902"
+        x="-543.1742" y="702.5647" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b84c0668a9</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="142" label=" " layerID="1" created="1479312150155"
+        x="-674.41174" y="702.5647" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b844ae0a4b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="143" label="Invariants on the graph / node" layerID="1"
+        created="1479312150155" x="513.5795" y="661.1646" width="210.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8746d8906</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="144" label=" " layerID="1" created="1479312150155"
+        x="387.89288" y="661.1646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8eab64176</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="145" label=" " layerID="1" created="1479312150155"
+        x="267.07953" y="661.1646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8e2b0179a</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="146" label=" " layerID="1" created="1479312150155"
+        x="140.07953" y="661.1646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8f1e9514a</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="147" label=" " layerID="1" created="1479312150155"
+        x="-10.920471" y="660.3646" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44032c0a80026548592b8726ffcc1</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="148" label=" " layerID="1" created="1479312150155"
+        x="-174.5517" y="661.96466" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8ff3e3904</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="150" label=" " layerID="1" created="1479312155692"
+        x="-543.1742" y="663.5647" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8e43cd085</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="151" label=" " layerID="1" created="1479312155692"
+        x="-674.41174" y="663.5647" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b80a95f30b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="152" label="Compile-time" layerID="1"
+        created="1479312155692" x="513.5795" y="593.27094" width="97.0"
+        height="23.0" strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8a738f623</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="153" label=" " layerID="1" created="1479312155692"
+        x="387.89288" y="593.27094" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b840e9de75</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="154" label=" " layerID="1" created="1479312155692"
+        x="267.07953" y="593.27094" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b869523b7f</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="155" label=" " layerID="1" created="1479312155692"
+        x="140.07953" y="593.27094" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b80ecff1d4</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="156" label=" " layerID="1" created="1479312155692"
+        x="-10.920471" y="592.47095" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8868c3bd4</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="158" label=" " layerID="1" created="1479312155692"
+        x="-174.5517" y="594.071" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b8f1f2c034</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="159" label=" " layerID="1" created="1479312155692"
+        x="-543.1742" y="595.671" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44033c0a80026548592b81f88086b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="160" label=" " layerID="1" created="1479312155692"
+        x="-674.41174" y="595.671" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8a06db952</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="161" label="Run-time" layerID="1" created="1479312155692"
+        x="513.5795" y="554.27106" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b84247db44</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="162" label=" " layerID="1" created="1479312155692"
+        x="387.89288" y="554.27106" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b80183cc60</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="163" label=" " layerID="1" created="1479312155692"
+        x="267.07953" y="554.27106" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8a53213f5</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="164" label=" " layerID="1" created="1479312155692"
+        x="140.07953" y="554.27106" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b88fe1f15c</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="166" label=" " layerID="1" created="1479312165108"
+        x="-10.920471" y="553.47107" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b804a1a9ba</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="167" label=" " layerID="1" created="1479312165108"
+        x="-174.5517" y="555.0711" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8ad21ad51</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="168" label=" " layerID="1" created="1479312165108"
+        x="-543.1742" y="556.67114" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44034c0a80026548592b8f7cab75e</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="169" label=" " layerID="1" created="1479312165108"
+        x="-674.41174" y="556.67114" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b824a5ea38</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="170" label="Transformation" layerID="1"
+        created="1479312165108" x="513.5795" y="480.32404" width="139.0"
+        height="46.25" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b8fcd64fad</URIString>
+        <child ID="52" label="Like ->i" created="1479310857171" x="34.0"
+            y="23.0" width="59.0" height="23.0" strokeWidth="1.0"
+            autoSized="true" xsi:type="node">
+            <fillColor>#BDE5F2</fillColor>
+            <strokeColor>#776D6D</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6dcc935cc0a80026548592b89128dae1</URIString>
+            <shape xsi:type="rectangle"/>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="171" label=" " layerID="1" created="1479312165108"
+        x="387.89288" y="480.32404" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b8414a595b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="172" label=" " layerID="1" created="1479312165108"
+        x="267.07953" y="480.32404" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b8e07930e9</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="174" label=" " layerID="1" created="1479312165108"
+        x="140.07953" y="480.32404" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b861833437</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="175" label=" " layerID="1" created="1479312165108"
+        x="-10.920471" y="479.52405" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b82804bc71</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="176" label=" " layerID="1" created="1479312165108"
+        x="-174.5517" y="481.12408" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b80db43a99</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="177" label=" " layerID="1" created="1479312165108"
+        x="-543.1742" y="482.72412" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44035c0a80026548592b86a9bcf32</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="178" label=" " layerID="1" created="1479312165108"
+        x="-674.41174" y="482.72412" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b82c6a1147</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="179" label="Output" layerID="1" created="1479312165108"
+        x="513.5795" y="441.72406" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b88c7132d7</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="180" label=" " layerID="1" created="1479312165108"
+        x="387.89288" y="441.72406" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b82856a3fe</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="182" label=" " layerID="1" created="1479312165108"
+        x="267.07953" y="441.72406" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8125e3add</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="183" label=" " layerID="1" created="1479312165108"
+        x="140.07953" y="441.72406" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8242976ae</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="184" label=" " layerID="1" created="1479312165108"
+        x="-10.920471" y="440.92407" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8700f0c58</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="185" label=" " layerID="1" created="1479312165108"
+        x="-174.5517" y="442.5241" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b888f9f0fc</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="186" label=" " layerID="1" created="1479312165108"
+        x="-543.1742" y="444.12415" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b829d22ddb</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="187" label=" " layerID="1" created="1479312165108"
+        x="-674.41174" y="444.12415" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8fb44d733</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="188" label="Input" layerID="1" created="1479312165108"
+        x="513.5795" y="402.724" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44036c0a80026548592b8010e8b83</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="190" label=" " layerID="1" created="1479312165108"
+        x="387.89288" y="402.724" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8b07192d1</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="191" label=" " layerID="1" created="1479312165108"
+        x="267.07953" y="402.724" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b85d8d2676</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="192" label=" " layerID="1" created="1479312165108"
+        x="140.07953" y="402.724" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b818309ef9</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="193" label=" " layerID="1" created="1479312165108"
+        x="-10.920471" y="401.924" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8ce547432</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="194" label=" " layerID="1" created="1479312165108"
+        x="-174.5517" y="403.52405" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8808f7487</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="195" label=" " layerID="1" created="1479312165108"
+        x="-543.1742" y="405.12408" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8f5b31808</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="196" label=" " layerID="1" created="1479312165108"
+        x="-674.41174" y="405.12408" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#C1F780</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6de44037c0a80026548592b8b71cf339</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="211" label="No cycles in &#x3c4;" layerID="1"
+        created="1479312437302" x="386.89288" y="364.19955" width="99.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c15c0a80026548592b8b3165e14</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="212" label="Nouveau N&#x153;ud" layerID="1"
+        created="1479312437302" x="259.57953" y="364.19955"
+        width="112.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b8a5a2565a</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="213" label="Nouveau N&#x153;ud" layerID="1"
+        created="1479312437302" x="132.57953" y="364.19955"
+        width="112.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b82772e2e6</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="214" label="no excess / missing&#xa;nodes" layerID="1"
+        created="1479312437302" x="-27.020462" y="346.59958"
+        width="139.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b844d9ed3a</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="215" label="Structural invariant" layerID="1"
+        created="1479312437302" x="-207.0517" y="301.2496" width="162.0"
+        height="86.75" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b8c110cac6</URIString>
+        <child ID="248" label="No cycles (a.** != a)"
+            created="1479315054444" x="34.0" y="23.0" width="145.0"
+            height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#000000</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e0db15543a6be970d2ffe259c8e4183</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <child ID="249" label="a.b.c = a" created="1479315069014"
+            x="34.0" y="43.25" width="112.78567" height="23.0"
+            strokeWidth="1.0" autoSized="false" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#000000</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e0db15643a6be970d2ffe25e7c11d51</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <child ID="256" label="a &#x2208; a.b.c" created="1479315479126"
+            x="34.0" y="63.5" width="112.0" height="23.0"
+            strokeWidth="1.0" autoSized="false" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#776D6D</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e13f9e943a6be970d2ffe25a12d6061</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="216" label="Fill in auto fields" layerID="1"
+        created="1479312437302" x="-566.6742" y="323.0996" width="144.0"
+        height="66.5" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b84cf1af9a</URIString>
+        <child ID="115" label="count(path)" created="1479311769963"
+            x="34.0" y="23.0" width="88.0" height="23.0"
+            strokeWidth="1.0" autoSized="true" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#776D6D</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6dda878fc0a80026548592b8d8c09cc8</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <child ID="113" label="path" created="1479311761209" x="34.0"
+            y="43.25" width="41.0" height="23.0" strokeWidth="1.0"
+            autoSized="true" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#776D6D</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6dda878ec0a80026548592b8a59d8be9</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="217" label="Field types" layerID="1"
+        created="1479312437302" x="-666.41174" y="366.5996" width="81.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6deb6c16c0a80026548592b8ef57e7b6</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="220" layerID="1" created="1479312977113" x="610.0796"
+        y="413.39075" width="278.54547" height="1.2836609"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b8679982c0</URIString>
+        <point1 x="888.125" y="413.89078"/>
+        <point2 x="610.5795" y="414.17444"/>
+        <ID1 xsi:type="node">17</ID1>
+        <ID2 xsi:type="node">188</ID2>
+    </child>
+    <child ID="221" layerID="1" created="1479312980477" x="609.3052"
+        y="416.2401" width="279.59772" height="32.1481"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b8c719c5c2</URIString>
+        <point1 x="888.40283" y="416.74008"/>
+        <point2 x="609.8051" y="447.88818"/>
+        <ID1 xsi:type="node">17</ID1>
+        <ID2 xsi:type="node">179</ID2>
+    </child>
+    <child ID="222" layerID="1" created="1479312983887" x="650.3943"
+        y="419.96667" width="239.83246" height="65.63086"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b87ce595a9</URIString>
+        <point1 x="889.72675" y="420.46667"/>
+        <point2 x="650.8943" y="485.09753"/>
+        <ID1 xsi:type="node">17</ID1>
+        <ID2 xsi:type="node">170</ID2>
+    </child>
+    <child ID="223" layerID="1" created="1479312987068" x="609.84546"
+        y="548.7224" width="253.11804" height="14.889587"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b83272ecb3</URIString>
+        <point1 x="862.4635" y="549.2224"/>
+        <point2 x="610.34546" y="563.112"/>
+        <ID1 xsi:type="node">19</ID1>
+        <ID2 xsi:type="node">161</ID2>
+    </child>
+    <child ID="224" layerID="1" created="1479312989934" x="607.8163"
+        y="554.4879" width="258.28827" height="43.1994"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bec0a80026548592b847abd123</URIString>
+        <point1 x="865.6046" y="554.988"/>
+        <point2 x="608.31635" y="597.1874"/>
+        <ID1 xsi:type="node">19</ID1>
+        <ID2 xsi:type="node">152</ID2>
+    </child>
+    <child ID="225" layerID="1" created="1479312993421" x="720.89624"
+        y="679.6299" width="150.60919" height="11.862732"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bfc0a80026548592b82421558c</URIString>
+        <point1 x="871.0054" y="690.9926"/>
+        <point2 x="721.3962" y="680.1299"/>
+        <ID1 xsi:type="node">21</ID1>
+        <ID2 xsi:type="node">143</ID2>
+    </child>
+    <child ID="226" layerID="1" created="1479312996582" x="793.3353"
+        y="696.95703" width="78.10858" height="6.086853"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bfc0a80026548592b890a669f0</URIString>
+        <point1 x="870.9439" y="697.45703"/>
+        <point2 x="793.8353" y="702.5439"/>
+        <ID1 xsi:type="node">21</ID1>
+        <ID2 xsi:type="node">134</ID2>
+    </child>
+    <child ID="227" layerID="1" created="1479313097960" x="435.89288"
+        y="251.69118" width="1.0" height="113.00839" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>Arial-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df4a0bfc0a80026548592b8ab3caf16</URIString>
+        <point1 x="436.39288" y="252.19116"/>
+        <point2 x="436.39288" y="364.19955"/>
+        <ID1 xsi:type="node">68</ID1>
+        <ID2 xsi:type="node">211</ID2>
+    </child>
+    <child ID="229" label="Field types" layerID="1"
+        created="1479313578633" x="-666.41174" y="301.00214"
+        width="81.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df83301c0a80026548592b8cadb0885</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="230" layerID="1" created="1479313589139" x="-626.41174"
+        y="323.50214" width="1.0" height="43.597473" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#404040</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6df83301c0a80026548592b86616b05c</URIString>
+        <point1 x="-625.91174" y="324.00214"/>
+        <point2 x="-625.91174" y="366.5996"/>
+        <ID1 xsi:type="node">229</ID1>
+        <ID2 xsi:type="node">217</ID2>
+    </child>
+    <child ID="231" label="Fill in info" layerID="1"
+        created="1479314065342" x="211.63742" y="-64.78337" width="70.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b8f9159d49</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="232" layerID="1" created="1479314065343" x="99.379364"
+        y="-54.9087" width="112.75806" height="1.8569527"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b838839b4e</URIString>
+        <point1 x="99.879364" y="-54.408703"/>
+        <point2 x="211.63742" y="-53.55175"/>
+        <ID1 xsi:type="node">107</ID1>
+        <ID2 xsi:type="node">231</ID2>
+    </child>
+    <child ID="233" label="Insert guards" layerID="1"
+        created="1479314071070" x="182.63742" y="-41.7834" width="99.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b8fe58d8d6</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="234" layerID="1" created="1479314071071" x="71.364"
+        y="-44.643234" width="112.325134" height="10.626972"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dfdd7b2c0a80026548592b8472714c9</URIString>
+        <point1 x="71.864" y="-44.143234"/>
+        <point2 x="183.18913" y="-34.516262"/>
+        <ID1 xsi:type="node">107</ID1>
+        <ID2 xsi:type="node">233</ID2>
+    </child>
+    <child ID="239"
+        label="Name the invariants in the type, and refer to them in the transform"
+        layerID="1" created="1479314146769" x="792.0136" y="850.73596"
+        width="446.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dff35b5c0a80026548592b8604b935b</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="240" layerID="1" created="1479314146770" x="923.7971"
+        y="705.3775" width="85.04431" height="145.8584"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6dff35b5c0a80026548592b8b8ea0a14</URIString>
+        <point1 x="924.2971" y="705.8775"/>
+        <point2 x="1008.34143" y="850.7359"/>
+        <ID1 xsi:type="node">21</ID1>
+        <ID2 xsi:type="node">239</ID2>
+    </child>
+    <child ID="241" label="Basic form&#xa;already implemented"
+        layerID="1" created="1479314878724" x="1225.5375" y="742.74475"
+        width="146.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e09fb5843a6be970d2ffe2507ab588a</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="242" layerID="1" created="1479314878728" x="1324.1526"
+        y="701.8031" width="56.585938" height="41.44165"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e09fb5a43a6be970d2ffe25101bab58</URIString>
+        <point1 x="1380.2385" y="702.3031"/>
+        <point2 x="1324.6526" y="742.74475"/>
+        <ID1 xsi:type="node">11</ID1>
+        <ID2 xsi:type="node">241</ID2>
+    </child>
+    <child ID="244" label="&#x3b1;-equivalence" layerID="1"
+        created="1479314913291" x="1435.1376" y="750.7448" width="104.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e0b664b43a6be970d2ffe25608d7f84</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="245" layerID="1" created="1479314913294" x="1410.2081"
+        y="701.80304" width="62.766113" height="49.441772"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e0b664b43a6be970d2ffe252aafd35e</URIString>
+        <point1 x="1410.7081" y="702.30304"/>
+        <point2 x="1472.4742" y="750.7448"/>
+        <ID1 xsi:type="node">11</ID1>
+        <ID2 xsi:type="node">244</ID2>
+    </child>
+    <child ID="246" label="Too hard to implement for now" layerID="1"
+        created="1479314956001" x="1586.3375" y="747.5448" width="210.0"
+        height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e0b664c43a6be970d2ffe253b42a8fa</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="247" layerID="1" created="1479314956003" x="1538.6376"
+        y="760.18976" width="48.229248" height="1.7401123"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e0b664c43a6be970d2ffe25426d76fa</URIString>
+        <point1 x="1539.1376" y="761.4299"/>
+        <point2 x="1586.3668" y="760.68976"/>
+        <ID1 xsi:type="node">244</ID1>
+        <ID2 xsi:type="node">246</ID2>
+    </child>
+    <child ID="252"
+        label="http://docs.racket-lang.org/graph/index.html#%28def._%28%28lib._graph%2Fmain..rkt%29._coloring%2Fgreedy%29%29"
+        layerID="1" created="1479315385244" x="999.13745" y="257.14478"
+        width="784.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e12548843a6be970d2ffe259bb5e939</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="253" layerID="1" created="1479315385245" x="1391.4419"
+        y="279.64453" width="4.298706" height="48.158203"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e12548843a6be970d2ffe25f25ed174</URIString>
+        <point1 x="1395.2406" y="327.30273"/>
+        <point2 x="1391.9419" y="280.14453"/>
+        <ID1 xsi:type="node">23</ID1>
+        <ID2 xsi:type="node">252</ID2>
+    </child>
+    <child ID="257" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="701.5272" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe25f6c630d7</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="258" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="662.5272" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe259db0c3ce</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="259" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="594.63354" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe25e603c10f</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="260" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="555.63367" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe25580295ca</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="261" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="481.68677" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7df43a6be970d2ffe250d1629cb</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="262" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="443.0868" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25e477a71a</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="263" label=" " layerID="1" created="1479315626294"
+        x="-370.56244" y="404.08667" width="97.0" height="23.0"
+        strokeWidth="1.0" autoSized="false" xsi:type="node">
+        <fillColor>#FFFFFF</fillColor>
+        <strokeColor>#D0D0D0</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25b3ec0015</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="264"
+        label="Well-scopedness&#xa;via &#x2200; flag on the inputs"
+        layerID="1" created="1479315626294" x="-397.26245" y="348.76224"
+        width="161.0" height="38.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#000000</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25522374c0</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="269" label="enforces" layerID="1" created="1479315766762"
+        x="-283.66245" y="251.14484" width="70.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25045c93ba</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="270" layerID="1" created="1479315766763" x="-423.9568"
+        y="272.95978" width="147.40097" height="56.76346"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25f58b5507</URIString>
+        <point1 x="-423.4568" y="329.2232"/>
+        <point2 x="-277.05582" y="273.45975"/>
+        <ID1 xsi:type="node">216</ID1>
+        <ID2 xsi:type="node">269</ID2>
+    </child>
+    <child ID="273" layerID="1" created="1479315784203" x="-231.96277"
+        y="273.64484" width="41.538452" height="28.104767"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25213bebda</URIString>
+        <point1 x="-231.46277" y="274.14484"/>
+        <point2 x="-190.92432" y="301.2496"/>
+        <ID1 xsi:type="node">269</ID1>
+        <ID2 xsi:type="node">215</ID2>
+    </child>
+    <child ID="275" layerID="1" created="1479315857711" x="-304.95337"
+        y="273.64484" width="49.340668" height="75.6174"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e18c7e043a6be970d2ffe25b2914e66</URIString>
+        <point1 x="-304.45337" y="348.76224"/>
+        <point2 x="-256.1127" y="274.14484"/>
+        <ID1 xsi:type="node">264</ID1>
+        <ID2 xsi:type="node">269</ID2>
+    </child>
+    <child ID="278" label="Compile-time policy" layerID="1"
+        created="1479316015544" x="-515.6625" y="43.944725"
+        width="134.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25714e5bc9</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="279" layerID="1" created="1479316015546" x="-438.89398"
+        y="-50.799225" width="85.15164" height="95.24396"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25ca3da090</URIString>
+        <point1 x="-354.24237" y="-50.299225"/>
+        <point2 x="-438.394" y="43.944733"/>
+        <ID1 xsi:type="node">90</ID1>
+        <ID2 xsi:type="node">278</ID2>
+    </child>
+    <child ID="280" label="Run-time check" layerID="1"
+        created="1479316019912" x="-176.4625" y="42.344727"
+        width="110.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25751b3e9d</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="281" layerID="1" created="1479316019914" x="-322.34662"
+        y="-50.799225" width="179.2569" height="93.64395"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25264e9ee1</URIString>
+        <point1 x="-321.84662" y="-50.299225"/>
+        <point2 x="-143.58972" y="42.344727"/>
+        <ID1 xsi:type="node">90</ID1>
+        <ID2 xsi:type="node">280</ID2>
+    </child>
+    <child ID="284" layerID="1" created="1479316050351" x="-490.0899"
+        y="66.444824" width="40.168915" height="257.1548"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe25391232ea</URIString>
+        <point1 x="-450.42096" y="66.944824"/>
+        <point2 x="-489.58987" y="323.0996"/>
+        <ID1 xsi:type="node">278</ID1>
+        <ID2 xsi:type="node">216</ID2>
+    </child>
+    <child ID="285" layerID="1" created="1479316052183" x="-444.30573"
+        y="66.4447" width="120.01904" height="282.8175"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe253e59616a</URIString>
+        <point1 x="-443.80573" y="66.9447"/>
+        <point2 x="-324.78668" y="348.7622"/>
+        <ID1 xsi:type="node">278</ID1>
+        <ID2 xsi:type="node">264</ID2>
+    </child>
+    <child ID="286" layerID="1" created="1479316060242" x="-125.86714"
+        y="64.84473" width="4.723137" height="236.90479"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c643a6be970d2ffe2578e91de4</URIString>
+        <point1 x="-121.644" y="65.34473"/>
+        <point2 x="-125.367134" y="301.2495"/>
+        <ID1 xsi:type="node">280</ID1>
+        <ID2 xsi:type="node">215</ID2>
+    </child>
+    <child ID="289" layerID="1" created="1479316096459" x="-115.91501"
+        y="64.84473" width="148.90305" height="282.25485"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1c69c743a6be970d2ffe258016a9d1</URIString>
+        <point1 x="-115.41501" y="65.34473"/>
+        <point2 x="32.488037" y="346.59958"/>
+        <ID1 xsi:type="node">280</ID1>
+        <ID2 xsi:type="node">214</ID2>
+    </child>
+    <child ID="291"
+        label="Invariants expressed as a dummy type on the graph / node"
+        layerID="1" created="1479316157024" x="48.13745" y="867.74475"
+        width="396.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1dc69443a6be970d2ffe25c307cfac</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="292" layerID="1" created="1479316157026" x="498.7779"
+        y="684.20703" width="3.2190857" height="182.07422"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1dc69443a6be970d2ffe254cfac2a1</URIString>
+        <point1 x="501.497" y="684.70703"/>
+        <point2 x="499.27792" y="865.78125"/>
+        <ID1 xsi:type="node">295</ID1>
+        <ID2 xsi:type="node">297</ID2>
+    </child>
+    <child ID="293"
+        label="Enforcements indicate which invariant they satisfy or check"
+        layerID="1" created="1479316213134" x="503.13745" y="1298.7448"
+        width="395.0" height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1fb64c43a6be970d2ffe25894f7080</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="294" layerID="1" created="1479316213135" x="650.5233"
+        y="722.66406" width="5.35614" height="251.42578"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e1fb64c43a6be970d2ffe259f447e8e</URIString>
+        <point1 x="655.3795" y="723.16406"/>
+        <point2 x="651.0234" y="973.58984"/>
+        <ID1 xsi:type="node">134</ID1>
+        <ID2 xsi:type="node">301</ID2>
+    </child>
+    <child ID="295" label=" " layerID="1" created="1479316329322"
+        x="494.13745" y="661.74475" width="15.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e218e1c43a6be970d2ffe25c3d8bcae</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="296" layerID="1" created="1479316329323" x="508.63745"
+        y="672.68555" width="5.4420776" height="1.0220337"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe253b54752d</URIString>
+        <point1 x="513.5795" y="673.1855"/>
+        <point2 x="509.13745" y="673.2075"/>
+        <ID1 xsi:type="node">143</ID1>
+        <ID2 xsi:type="node">295</ID2>
+    </child>
+    <child ID="297" label=" " layerID="1" created="1479316363268"
+        x="491.63745" y="865.74475" width="15.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe2589428079</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="299" layerID="1" created="1479316396358" x="443.62433"
+        y="876.804" width="48.513123" height="1.3756104"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe255003e8ee</URIString>
+        <point1 x="491.63745" y="877.304"/>
+        <point2 x="444.12433" y="877.6796"/>
+        <ID1 xsi:type="node">297</ID1>
+        <ID2 xsi:type="node">291</ID2>
+    </child>
+    <child ID="301" label=" " layerID="1" created="1479316416797"
+        x="643.3243" y="973.5348" width="15.0" height="23.0"
+        strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe2565f1ef8c</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="302" layerID="1" created="1479316416797" x="652.016"
+        y="995.5796" width="47.359985" height="303.66504"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e218e1d43a6be970d2ffe25c3a1e3f4</URIString>
+        <point1 x="652.516" y="996.0796"/>
+        <point2 x="698.876" y="1298.7446"/>
+        <ID1 xsi:type="node">301</ID1>
+        <ID2 xsi:type="node">293</ID2>
+    </child>
+    <child ID="314"
+        label="Each node has an extra field of the following type:&#xa;"
+        layerID="1" created="1479317112254" x="-114.86255" y="971.24475"
+        width="339.0" height="107.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e2c94fe43a6be970d2ffe25ab2d9e8d</URIString>
+        <child ID="313"
+            label="(invariants-wrapper &#xa;    &#xa;    &#xa;        (case (&#x2192; inv&#x2081; inv-arg &#x2026; #t) &#xa;    &#xa;    &#xa;                 &#x2026; &#xa;    &#xa;    &#xa;                 (&#x2192; inv&#x2099; inv-arg &#x2026; #t)))"
+            created="1479317031021" x="5.0" y="38.0" width="276.0"
+            height="63.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
+            <strokeColor>#404040</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-14</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e2c950143a6be970d2ffe25c8aa5ef1</URIString>
+            <richText>&lt;html&gt;
+  &lt;head&gt;
+    &lt;style type="text/css"&gt;
+      &lt;!--
+        body { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; font-size: 12; font-family: SansSerif; color: #000000 }
+        ol { margin-top: 6; font-family: SansSerif; vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside }
+        p { margin-top: 0; margin-left: 0; margin-right: 0; margin-bottom: 0; color: #000000 }
+        ul { margin-top: 6; font-size: 12; margin-left: 30; vertical-align: middle; list-style-position: outside; font-family: SansSerif }
+      --&gt;
+    &lt;/style&gt;
+    
+  &lt;/head&gt;
+  &lt;body&gt;
+    &lt;p&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;(invariants-wrapper 
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;  (case (&amp;#8594; inv&amp;#8321; inv-arg &amp;#8230; #t) 
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;           &amp;#8230; 
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;           (&amp;#8594; inv&amp;#8345; inv-arg &amp;#8230; #t)))&lt;/font&gt;
+    &lt;/p&gt;
+  &lt;/body&gt;
+&lt;/html&gt;
+</richText>
+            <label>(invariants-wrapper 
+    
+    
+        (case (&#x2192; inv&#x2081; inv-arg &#x2026; #t) 
+    
+    
+                 &#x2026; 
+    
+    
+                 (&#x2192; inv&#x2099; inv-arg &#x2026; #t)))</label>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="315" layerID="1" created="1479317179397" x="124.55156"
+        y="890.24475" width="106.950165" height="81.5" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe2565dbc3a9</URIString>
+        <point1 x="231.00172" y="890.74475"/>
+        <point2 x="125.05156" y="971.24475"/>
+        <ID1 xsi:type="node">291</ID1>
+        <ID2 xsi:type="node">314</ID2>
+    </child>
+    <child ID="318"
+        label="Use a private struct to prevent forging of the invariants aggregated in a case&#x2192;&#xa;(since it is never executed, any non-terminating &#x3bb; could otherwise be supplied).&#xa;"
+        layerID="1" created="1479317202233" x="-248.86255" y="1144.7448"
+        width="531.0" height="77.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe2541159360</URIString>
+        <child ID="324"
+            label="(struct &#xa;      invariants-wrapper ())"
+            created="1479317283315" x="5.0" y="53.0" width="214.0"
+            height="18.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
+            <strokeColor>#404040</strokeColor>
+            <textColor>#000000</textColor>
+            <font>-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe254bc731a8</URIString>
+            <richText>&lt;html&gt;
+  &lt;head color="#000000" style="color: #000000"&gt;
+    &lt;style type="text/css"&gt;
+      &lt;!--
+        body { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; font-size: 11; font-family: SansSerif; color: #000000 }
+        ol { margin-top: 6; font-family: SansSerif; vertical-align: middle; margin-left: 30; font-size: 11; list-style-position: outside }
+        p { margin-top: 0; margin-left: 0; margin-right: 0; margin-bottom: 0; color: #000000 }
+        ul { margin-top: 6; font-size: 11; margin-left: 30; vertical-align: middle; list-style-position: outside; font-family: SansSerif }
+      --&gt;
+    &lt;/style&gt;
+    
+  &lt;/head&gt;
+  &lt;body&gt;
+    &lt;p&gt;
+      &lt;font face="DejaVu Sans Mono" color="#000000" style="font-size:12;"&gt;(struct 
+      invariants-wrapper ())&lt;/font&gt;
+    &lt;/p&gt;
+  &lt;/body&gt;
+&lt;/html&gt;
+</richText>
+            <label>(struct 
+      invariants-wrapper ())</label>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="319" layerID="1" created="1479317202235" x="25.367739"
+        y="1077.7448" width="16.943203" height="67.5" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e309f2643a6be970d2ffe25415de0b8</URIString>
+        <point1 x="41.81094" y="1078.2448"/>
+        <point2 x="25.867737" y="1144.7448"/>
+        <ID1 xsi:type="node">314</ID1>
+        <ID2 xsi:type="node">318</ID2>
+    </child>
+    <child ID="326"
+        label="graph invariants should only define the dummy type used to identify them&#xa;"
+        layerID="1" created="1479317586757" x="-256.86255" y="1281.7448"
+        width="611.0" height="187.25" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e380d1843a6be970d2ffe256d1f3a53</URIString>
+        <child ID="328"
+            label="The actual enforcement is built-in or defined as a contract"
+            created="1479317923153" x="34.0" y="38.0" width="394.0"
+            height="23.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+            <fillColor>#F2AE45</fillColor>
+            <strokeColor>#776D6D</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-12</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e38dc3343a6be970d2ffe25548c6fd1</URIString>
+            <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+        </child>
+        <child ID="325"
+            label="(define-for-syntax invariant-introducer&#xa;    &#xa;    &#xa;        (make-syntax-introducer))&#xa;    &#xa;    &#xa;      ;; the body should return the syntax for a &#xa;      type, &#xa;    &#xa;    &#xa;      ;; such that less precise invariants are &#xa;      supertypes of that type.&#xa;    &#xa;    &#xa;      (define-syntax/parse &#xa;      (define-graph-invariant (name g-descriptor arg &#x2026;) . body)&#xa;    &#xa;    &#xa;        #'(define-syntax name&#xa;    &#xa;    &#xa;            (graph-invariant&#xa;    &#xa;    &#xa;              (&#x3bb; (g-descriptor arg &#x2026;) . body))))"
+            created="1479317551796" x="34.0" y="58.25" width="572.0"
+            height="123.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
+            <strokeColor>#404040</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-14</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6e380d1843a6be970d2ffe2537b566f6</URIString>
+            <richText>&lt;html&gt;
+  &lt;head color="#000000" style="color: #000000"&gt;
+    &lt;style type="text/css"&gt;
+      &lt;!--
+        body { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; font-size: 12; font-family: SansSerif; color: #000000 }
+        ol { margin-top: 6; font-family: SansSerif; vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside }
+        p { margin-top: 0; margin-left: 0; margin-right: 0; margin-bottom: 0; color: #000000 }
+        ul { margin-top: 6; font-size: 12; margin-left: 30; vertical-align: middle; list-style-position: outside; font-family: SansSerif }
+      --&gt;
+    &lt;/style&gt;
+    
+  &lt;/head&gt;
+  &lt;body&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;(define-for-syntax invariant-introducer
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;  (make-syntax-introducer))
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;;; the body should return the syntax for a 
+      type, 
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;;; such that less precise invariants are 
+      supertypes of that type.
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;(define-syntax/parse 
+      (define-graph-invariant (name g-descriptor arg &amp;#8230;) . body)
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;  #'(define-syntax name
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;      (graph-invariant
+&lt;/font&gt;    &lt;/p&gt;
+    &lt;p color="#000000" style="color: #000000"&gt;
+      &lt;font face="DejaVu Sans Mono"&gt;        (&amp;#955; (g-descriptor arg &amp;#8230;) . body))))&lt;/font&gt;
+    &lt;/p&gt;
+  &lt;/body&gt;
+&lt;/html&gt;
+</richText>
+            <label>(define-for-syntax invariant-introducer
+    
+    
+        (make-syntax-introducer))
+    
+    
+      ;; the body should return the syntax for a 
+      type, 
+    
+    
+      ;; such that less precise invariants are 
+      supertypes of that type.
+    
+    
+      (define-syntax/parse 
+      (define-graph-invariant (name g-descriptor arg &#x2026;) . body)
+    
+    
+        #'(define-syntax name
+    
+    
+            (graph-invariant
+    
+    
+              (&#x3bb; (g-descriptor arg &#x2026;) . body))))</label>
+        </child>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="327" layerID="1" created="1479317586758" x="22.549934"
+        y="1221.2448" width="10.993504" height="61.0" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e380d1943a6be970d2ffe25baaa9b00</URIString>
+        <point1 x="23.049934" y="1221.7448"/>
+        <point2 x="33.043438" y="1281.7448"/>
+        <ID1 xsi:type="node">318</ID1>
+        <ID2 xsi:type="node">326</ID2>
+    </child>
+    <child ID="329" layerID="1" created="1479317962142" x="71.66983"
+        y="1314.3446" width="432.59344" height="11.083984"
+        strokeWidth="1.0" autoSized="false" controlCount="0"
+        arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e38dc3443a6be970d2ffe2541c6177e</URIString>
+        <point1 x="72.169815" y="1324.9286"/>
+        <point2 x="503.76328" y="1314.8446"/>
+        <ID1 xsi:type="node">328</ID1>
+        <ID2 xsi:type="node">293</ID2>
+    </child>
+    <child ID="332"
+        label="The returned type may contain symbols, to indicate node names and field names,&#xa;and will contain a reference to a private struct type, so that&#xa;two invariants with the same name defined in separate won't conflict"
+        layerID="1" created="1479317996531" x="-846.86255" y="1374.2448"
+        width="543.0" height="53.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
+        <fillColor>#F2AE45</fillColor>
+        <strokeColor>#776D6D</strokeColor>
+        <textColor>#000000</textColor>
+        <font>SansSerif-plain-12</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e3ba69443a6be970d2ffe2557b43407</URIString>
+        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
+    </child>
+    <child ID="333" layerID="1" created="1479318002683" x="-304.36255"
+        y="1400.5635" width="82.0" height="1.0950928" strokeWidth="1.0"
+        autoSized="false" controlCount="0" arrowState="2" xsi:type="link">
+        <strokeColor>#000000</strokeColor>
+        <textColor>#404040</textColor>
+        <font>SansSerif-plain-11</font>
+        <URIString>http://vue.tufts.edu/rdf/resource/6e3ba69443a6be970d2ffe25f3986e24</URIString>
+        <point1 x="-222.86255" y="1401.1587"/>
+        <point2 x="-303.86255" y="1401.0636"/>
+        <ID1 xsi:type="text">325</ID1>
+        <ID2 xsi:type="node">332</ID2>
+    </child>
+    <layer ID="1" label="Layer 1" created="1479309847607" x="0.0"
+        y="0.0" width="1.4E-45" height="1.4E-45" strokeWidth="0.0" autoSized="false">
+        <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b15c0a80026548592b8d2f3fee2</URIString>
+    </layer>
+    <userZoom>1.0</userZoom>
+    <userOrigin x="-1359.8625" y="-452.75525"/>
+    <presentationBackground>#FFFFFF</presentationBackground>
+    <PathwayList currentPathway="0" revealerIndex="-1">
+        <pathway ID="0" label="Chemin sans nom" created="1479309847603"
+            x="0.0" y="0.0" width="1.4E-45" height="1.4E-45"
+            strokeWidth="0.0" autoSized="false" currentIndex="0" open="true">
+            <strokeColor>#B3993333</strokeColor>
+            <textColor>#000000</textColor>
+            <font>SansSerif-plain-14</font>
+            <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b16c0a80026548592b8204729d3</URIString>
+            <masterSlide ID="2" created="1479309847623" x="0.0" y="0.0"
+                width="800.0" height="600.0" locked="true"
+                strokeWidth="0.0" autoSized="false">
+                <fillColor>#000000</fillColor>
+                <strokeColor>#404040</strokeColor>
+                <textColor>#000000</textColor>
+                <font>SansSerif-plain-14</font>
+                <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b16c0a80026548592b817230376</URIString>
+                <titleStyle ID="3" label="Header"
+                    created="1479309850047" x="329.0" y="174.5"
+                    width="142.0" height="51.0" strokeWidth="0.0"
+                    autoSized="true" isStyle="true" xsi:type="node">
+                    <strokeColor>#404040</strokeColor>
+                    <textColor>#FFFFFF</textColor>
+                    <font>Gill Sans-plain-36</font>
+                    <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b17c0a80026548592b88a8fba25</URIString>
+                    <shape xsi:type="rectangle"/>
+                </titleStyle>
+                <textStyle ID="4" label="Slide Text"
+                    created="1479309850048" x="340.0" y="282.5"
+                    width="120.0" height="35.0" strokeWidth="0.0"
+                    autoSized="true" isStyle="true" xsi:type="node">
+                    <strokeColor>#404040</strokeColor>
+                    <textColor>#FFFFFF</textColor>
+                    <font>Gill Sans-plain-22</font>
+                    <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b17c0a80026548592b8c426a9c8</URIString>
+                    <shape xsi:type="rectangle"/>
+                </textStyle>
+                <linkStyle ID="5" label="Links" created="1479309850107"
+                    x="372.5" y="385.0" width="55.0" height="30.0"
+                    strokeWidth="0.0" autoSized="true" isStyle="true" xsi:type="node">
+                    <strokeColor>#404040</strokeColor>
+                    <textColor>#B3BFE3</textColor>
+                    <font>Gill Sans-plain-18</font>
+                    <URIString>http://vue.tufts.edu/rdf/resource/6dbf6b18c0a80026548592b8ea0d19d7</URIString>
+                    <shape xsi:type="rectangle"/>
+                </linkStyle>
+            </masterSlide>
+        </pathway>
+    </PathwayList>
+    <date>2016-11-16</date>
+    <modelVersion>6</modelVersion>
+    <saveLocation>/home/georges/phc/racket-packages/phc-graph</saveLocation>
+    <saveFile>/home/georges/phc/racket-packages/phc-graph/Graph-notes-copy2.vue</saveFile>
+</LW-MAP>