diff --git a/README.md b/README.md
index 1e0f038..9eaaa40 100644
--- a/README.md
+++ b/README.md
@@ -19,9 +19,37 @@ Graphs can be directed or undirected.
 - [x] Support edge labels
 - [x] Graph trait
 
+# What is subgraph isomorphism?
+
+A graph is a structure consisting of a set of objects where some pairs of objects are connected. A graph isomorphism is
+a one-to-one correspondence between two graphs such that objects connected in one are also connected in the other.
+
+### Graph isomorphism
+
+For two graphs to be isomorphic, there must be a one-to-one correspondence between nodes such that neighbors in one are
+also neighbors in the other. The query and data graphs in the following image are isomorphic.
+
+![graph-isomorphism.svg](/images/graph-isomorphism.svg)
+
+### Subgraph isomorphism
+
+It is often desirable to find instances of one graph within another. To do this, we search for subgraph isomorphisms. A
+subgraph isomorphism is when one graph is isomorphic to a subgraph of another. There are two subgraph isomorphisms in
+the following image.
+
+![subgraph-isomorphism.svg](/images/subgraph-isomorphism.svg)
+
+An induced subgraph isomorphism is the same as a subgraph isomorphism except that the subgraph must be induced, meaning
+the query and data graphs must have the same edges.
+
+### Induced subgraph isomorphism
+
+![induced-subgraph-isomorphism.svg](/images/induced-subgraph-isomorphism.svg)
+
 # Remaining work
 
 - [ ] Implement VF2 cutting rules
+- [ ] Implement VF2++ (only VF2 implemented so far)
 
 # References
 
diff --git a/images/graph-isomorphism.svg b/images/graph-isomorphism.svg
new file mode 100644
index 0000000..0f6ea1c
--- /dev/null
+++ b/images/graph-isomorphism.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="1040" height="320"><g transform="translate(-1580 160)" lucid:page-tab-id="0_0"><path d="M1500-500h1500V500H1500z" fill="#fff"/><path d="M1810-50c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M1810 110c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M1950 30c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M2460 110c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M2300 110c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M2380-50c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M1580-154a6 6 0 0 1 6-6h508a6 6 0 0 1 6 6v308a6 6 0 0 1-6 6h-508a6 6 0 0 1-6-6z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,1585,-155) translate(255 7.111111111111112)"/><use xlink:href="#b" transform="matrix(1,0,0,1,1585,-155) translate(168.66666666666666 35.55555555555556)"/><use xlink:href="#c" transform="matrix(1,0,0,1,1585,-155) translate(261.91358024691357 35.55555555555556)"/><path d="M2100-154a6 6 0 0 1 6-6h508a6 6 0 0 1 6 6v308a6 6 0 0 1-6 6h-508a6 6 0 0 1-6-6z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,2105,-154.99999999999997) translate(255 7.111111111111112)"/><use xlink:href="#d" transform="matrix(1,0,0,1,2105,-154.99999999999997) translate(178.17283950617283 35.55555555555556)"/><use xlink:href="#c" transform="matrix(1,0,0,1,2105,-154.99999999999997) translate(252.4074074074074 35.55555555555556)"/><path d="M1812.97-31.16l50.44 28.82" stroke="#000" stroke-width="8" fill="none"/><path d="M1815.03-34.56l-3.95 6.9-3.78-2.16 2.57-3.9 1.34-3.02z" stroke="#000" stroke-width=".05"/><path d="M1879.27 6.72l-14.7-3.05 4.6-8.05z" stroke="#000" stroke-width="8"/><path d="M1893.15 56.4l-54.07 26.08" stroke="#000" stroke-width="8" fill="none"/><path d="M1894.82 52.87l4.16 3.87 1.1.73-5.3 2.56-3.45-7.16 2.55-1.23z" stroke="#000" stroke-width=".05"/><path d="M1822.63 90.4l10.83-10.36 4.03 8.35z" stroke="#000" stroke-width="8"/><path d="M2413.05 76.1l-33.93-67.85" stroke="#000" stroke-width="8" fill="none"/><path d="M2418.5 78.1l-1.86.6-5 2.66-.3.23-1.9-3.82 7.1-3.56z" stroke="#000" stroke-width=".05"/><path d="M2370.95-8.1l10.53 10.7-8.3 4.14z" stroke="#000" stroke-width="8"/><path d="M2333.03-16.06l-33.9 67.8" stroke="#000" stroke-width="8" fill="none"/><path d="M2333.7-20.13l4.76 2.1-1.92 3.84-7.1-3.55 1.95-3.92z" stroke="#000" stroke-width=".05"/><path d="M2290.97 68.06l2.23-14.83 8.3 4.15z" stroke="#000" stroke-width="8"/><defs><path d="M140-251c81 0 123 46 123 126C263-53 228-8 163 1c7 30 30 48 69 40v23c-55 16-95-15-103-61C56-3 17-48 17-125c0-80 42-126 123-126zm0 227c63 0 89-41 89-101s-29-99-89-99c-61 0-89 39-89 99S79-25 140-24" id="e"/><path d="M84 4C-5 8 30-112 23-190h32v120c0 31 7 50 39 49 72-2 45-101 50-169h31l1 190h-30c-1-10 1-25-2-33-11 22-28 36-60 37" id="f"/><path d="M100-194c63 0 86 42 84 106H49c0 40 14 67 53 68 26 1 43-12 49-29l28 8c-11 28-37 45-77 45C44 4 14-33 15-96c1-61 26-98 85-98zm52 81c6-60-76-77-97-28-3 7-6 17-6 28h103" id="g"/><path d="M114-163C36-179 61-72 57 0H25l-1-190h30c1 12-1 29 2 39 6-27 23-49 58-41v29" id="h"/><path d="M179-190L93 31C79 59 56 82 12 73V49c39 6 53-20 64-50L1-190h34L92-34l54-156h33" id="i"/><g id="b"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#e"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,24.19753086419753,0)" xlink:href="#f"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,41.48148148148148,0)" xlink:href="#g"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,58.76543209876543,0)" xlink:href="#h"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,69.04938271604938,0)" xlink:href="#i"/></g><path d="M177-190C167-65 218 103 67 71c-23-6-38-20-44-43l32-5c15 47 100 32 89-28v-30C133-14 115 1 83 1 29 1 15-40 15-95c0-56 16-97 71-98 29-1 48 16 59 35 1-10 0-23 2-32h30zM94-22c36 0 50-32 50-73 0-42-14-75-50-75-39 0-46 34-46 75s6 73 46 73" id="j"/><path d="M141-36C126-15 110 5 73 4 37 3 15-17 15-53c-1-64 63-63 125-63 3-35-9-54-41-54-24 1-41 7-42 31l-33-3c5-37 33-52 76-52 45 0 72 20 72 64v82c-1 20 7 32 28 27v20c-31 9-61-2-59-35zM48-53c0 20 12 33 32 33 41-3 63-29 60-74-43 2-92-5-92 41" id="k"/><path d="M115-194c55 1 70 41 70 98S169 2 115 4C84 4 66-9 55-30l1 105H24l-1-265h31l2 30c10-21 28-34 59-34zm-8 174c40 0 45-34 45-75s-6-73-45-74c-42 0-51 32-51 76 0 43 10 73 51 73" id="l"/><path d="M106-169C34-169 62-67 57 0H25v-261h32l-1 103c12-21 28-36 61-36 89 0 53 116 60 194h-32v-121c2-32-8-49-39-48" id="m"/><g id="c"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#j"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,17.283950617283953,0)" xlink:href="#h"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,27.567901234567906,0)" xlink:href="#k"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,44.85185185185187,0)" xlink:href="#l"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,62.13580246913581,0)" xlink:href="#m"/></g><path d="M30-248c118-7 216 8 213 122C240-48 200 0 122 0H30v-248zM63-27c89 8 146-16 146-99s-60-101-146-95v194" id="n"/><path d="M59-47c-2 24 18 29 38 22v24C64 9 27 4 27-40v-127H5v-23h24l9-43h21v43h35v23H59v120" id="o"/><g id="d"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#n"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,22.38271604938272,0)" xlink:href="#k"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,39.66666666666667,0)" xlink:href="#o"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,48.308641975308646,0)" xlink:href="#k"/></g></defs></g></svg>
\ No newline at end of file
diff --git a/images/induced-subgraph-isomorphism.svg b/images/induced-subgraph-isomorphism.svg
new file mode 100644
index 0000000..a547f28
--- /dev/null
+++ b/images/induced-subgraph-isomorphism.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="1040" height="320"><g transform="translate(-580 -700)" lucid:page-tab-id="0_0"><path d="M500 0h1500v1500H500z" fill="#fff"/><path d="M660 810c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M660 970c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M800 890c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M960 810c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#ffd9d9"/><path d="M960 970c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#cfe4ff"/><path d="M1100 890c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#c3f7c8"/><path d="M1470 930c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M1340 870c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M1430 810c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30zM1200 970c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M1180 810c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M580 706a6 6 0 0 1 6-6h248a6 6 0 0 1 6 6v308a6 6 0 0 1-6 6H586a6 6 0 0 1-6-6z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,585,705) translate(125 7.111111111111112)"/><use xlink:href="#b" transform="matrix(1,0,0,1,585,705) translate(38.66666666666666 35.55555555555556)"/><use xlink:href="#c" transform="matrix(1,0,0,1,585,705) translate(131.91358024691357 35.55555555555556)"/><path d="M900 706a6 6 0 0 1 6-6h708a6 6 0 0 1 6 6v308a6 6 0 0 1-6 6H906a6 6 0 0 1-6-6z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,905,705) translate(355 7.111111111111112)"/><use xlink:href="#d" transform="matrix(1,0,0,1,905,705) translate(278.17283950617286 35.55555555555556)"/><use xlink:href="#c" transform="matrix(1,0,0,1,905,705) translate(352.40740740740745 35.55555555555556)"/><path d="M1600 970c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M1600 810c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M662.97 828.84l50.44 28.82" stroke="#000" stroke-width="8" fill="none"/><path d="M665.03 825.44l-3.95 6.9-3.78-2.16 2.57-3.9 1.34-3.02z" stroke="#000" stroke-width=".05"/><path d="M729.27 866.72l-14.7-3.05 4.6-8.05z" stroke="#000" stroke-width="8"/><path d="M743.15 916.4l-54.07 26.08" stroke="#000" stroke-width="8" fill="none"/><path d="M744.82 912.87l4.16 3.87 1.1.74-5.3 2.55-3.45-7.16 2.55-1.23z" stroke="#000" stroke-width=".05"/><path d="M672.63 950.4l10.83-10.36 4.03 8.35z" stroke="#000" stroke-width="8"/><path d="M962.97 828.84l50.44 28.82" stroke="#e81313" stroke-width="8" fill="none"/><path d="M965.03 825.44l-3.95 6.9-3.78-2.16 2.57-3.9 1.34-3.02z" stroke="#e81313" stroke-width=".05" fill="#e81313"/><path d="M1029.27 866.72l-14.7-3.05 4.6-8.05z" stroke="#e81313" stroke-width="8" fill="#e81313"/><path d="M1037.08 908.8l-50.53 28.9" stroke="#e81313" stroke-width="8" fill="none"/><path d="M1038.7 903.37l2.66 5 1.38 1.78-3.78 2.17-3.94-6.9 3.67-2.1z" stroke="#e81313" stroke-width=".05" fill="#e81313"/><path d="M970.7 946.75l10.07-11.1 4.6 8.05z" stroke="#e81313" stroke-width="8" fill="#e81313"/><path d="M1096.8 863.2l7.15-7.15" stroke="#000" stroke-width="8" fill="none"/><path d="M1099.7 865.93l-3.08 3.08-1.44-1.87-4.1-3.82 3-3z" stroke="#000" stroke-width=".05"/><path d="M1116.86 843.14l-6.8 13.36-6.56-6.55z" stroke="#000" stroke-width="8"/><path d="M1132 970H995.2" stroke="#000" stroke-width="8" fill="none"/><path d="M1136 969.9l.1 2.63.2 1.45h-4.4V966h4.42z" stroke="#000" stroke-width=".05"/><path d="M976.95 970l14.26-4.63v9.26z" stroke="#000" stroke-width="8"/><path d="M1099.67 913.73l19.42 15.54" stroke="#000" stroke-width="8" fill="none"/><path d="M1102.23 910.7l-4.97 6.2-3.43-2.75 2.9-3.13 2.05-3.1z" stroke="#000" stroke-width=".05"/><path d="M1133.35 940.68l-14.04-5.3 5.8-7.23z" stroke="#000" stroke-width="8"/><path d="M1428 894.04l-7.4-22.27" stroke="#000" stroke-width="8" fill="none"/><path d="M1433.1 896.76l-1.13.18-5.34 1.77-1.06.58-1.36-4.08 7.55-2.5z" stroke="#000" stroke-width=".05"/><path d="M1414.82 854.45l8.9 12.06-8.8 2.94z" stroke="#000" stroke-width="8"/><path d="M1368.4 831.06l-4.17 2.78" stroke="#000" stroke-width="8" fill="none"/><path d="M1371.36 828.36l2.8 3.64-3.63 2.43-4.4-6.62 3.65-2.43z" stroke="#000" stroke-width=".05"/><path d="M1349.04 843.98l9.3-11.77 5.14 7.72z" stroke="#000" stroke-width="8"/><path d="M1344.42 885.9l36.45 16.8" stroke="#000" stroke-width="8" fill="none"/><path d="M1346.18 882.32l-3.33 7.22-3.93-1.8.95-1.45 2.28-5.17.15-.6z" stroke="#000" stroke-width=".05"/><path d="M1397.46 910.37l-14.9-1.77 3.9-8.42z" stroke="#000" stroke-width="8"/><path d="M1402.5 935.55l-168.1 24.9" stroke="#000" stroke-width="8" fill="none"/><path d="M1406.1 932.53l.84 5.5.28.84-4.23.63-1.18-7.86 4.2-.63z" stroke="#000" stroke-width=".05"/><path d="M1216.34 963.13l13.43-6.67 1.36 9.17z" stroke="#000" stroke-width="8"/><path d="M1185.54 823.33l63.44 23.8" stroke="#000" stroke-width="8" fill="none"/><path d="M1187.04 819.64l-2.8 7.45-4.05-1.53 1.95-4.44.77-3.03z" stroke="#000" stroke-width=".05"/><path d="M1266.08 853.53l-14.98-.67 3.25-8.68z" stroke="#000" stroke-width="8"/><path d="M1279.15 892.04l-56.15 40.1" stroke="#000" stroke-width="8" fill="none"/><path d="M1281.36 888.36l3.46 4.5-3.45 2.47-4.62-6.47 3.54-2.52z" stroke="#000" stroke-width=".05"/><path d="M1208.13 942.76l8.92-12.06 5.38 7.54z" stroke="#000" stroke-width="8"/><path d="M1438 810h66.8" stroke="#000" stroke-width="8" fill="none"/><path d="M1438.1 813.98h-4.42l.33-3.88-.1-2.63-.2-1.45h4.4z" stroke="#000" stroke-width=".05"/><path d="M1523.05 810l-14.26 4.63v-9.26z" stroke="#000" stroke-width="8"/><path d="M1533.73 958.84l-31.46-9.68" stroke="#000" stroke-width="8" fill="none"/><path d="M1539 956.3l-1.15 2.57-1.28 5-4.1-1.26 2.34-7.6z" stroke="#000" stroke-width=".05"/><path d="M1484.82 943.8l15-.25-2.73 8.87z" stroke="#000" stroke-width="8"/><defs><path d="M140-251c81 0 123 46 123 126C263-53 228-8 163 1c7 30 30 48 69 40v23c-55 16-95-15-103-61C56-3 17-48 17-125c0-80 42-126 123-126zm0 227c63 0 89-41 89-101s-29-99-89-99c-61 0-89 39-89 99S79-25 140-24" id="e"/><path d="M84 4C-5 8 30-112 23-190h32v120c0 31 7 50 39 49 72-2 45-101 50-169h31l1 190h-30c-1-10 1-25-2-33-11 22-28 36-60 37" id="f"/><path d="M100-194c63 0 86 42 84 106H49c0 40 14 67 53 68 26 1 43-12 49-29l28 8c-11 28-37 45-77 45C44 4 14-33 15-96c1-61 26-98 85-98zm52 81c6-60-76-77-97-28-3 7-6 17-6 28h103" id="g"/><path d="M114-163C36-179 61-72 57 0H25l-1-190h30c1 12-1 29 2 39 6-27 23-49 58-41v29" id="h"/><path d="M179-190L93 31C79 59 56 82 12 73V49c39 6 53-20 64-50L1-190h34L92-34l54-156h33" id="i"/><g id="b"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#e"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,24.19753086419753,0)" xlink:href="#f"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,41.48148148148148,0)" xlink:href="#g"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,58.76543209876543,0)" xlink:href="#h"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,69.04938271604938,0)" xlink:href="#i"/></g><path d="M177-190C167-65 218 103 67 71c-23-6-38-20-44-43l32-5c15 47 100 32 89-28v-30C133-14 115 1 83 1 29 1 15-40 15-95c0-56 16-97 71-98 29-1 48 16 59 35 1-10 0-23 2-32h30zM94-22c36 0 50-32 50-73 0-42-14-75-50-75-39 0-46 34-46 75s6 73 46 73" id="j"/><path d="M141-36C126-15 110 5 73 4 37 3 15-17 15-53c-1-64 63-63 125-63 3-35-9-54-41-54-24 1-41 7-42 31l-33-3c5-37 33-52 76-52 45 0 72 20 72 64v82c-1 20 7 32 28 27v20c-31 9-61-2-59-35zM48-53c0 20 12 33 32 33 41-3 63-29 60-74-43 2-92-5-92 41" id="k"/><path d="M115-194c55 1 70 41 70 98S169 2 115 4C84 4 66-9 55-30l1 105H24l-1-265h31l2 30c10-21 28-34 59-34zm-8 174c40 0 45-34 45-75s-6-73-45-74c-42 0-51 32-51 76 0 43 10 73 51 73" id="l"/><path d="M106-169C34-169 62-67 57 0H25v-261h32l-1 103c12-21 28-36 61-36 89 0 53 116 60 194h-32v-121c2-32-8-49-39-48" id="m"/><g id="c"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#j"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,17.283950617283953,0)" xlink:href="#h"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,27.567901234567906,0)" xlink:href="#k"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,44.85185185185187,0)" xlink:href="#l"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,62.13580246913581,0)" xlink:href="#m"/></g><path d="M30-248c118-7 216 8 213 122C240-48 200 0 122 0H30v-248zM63-27c89 8 146-16 146-99s-60-101-146-95v194" id="n"/><path d="M59-47c-2 24 18 29 38 22v24C64 9 27 4 27-40v-127H5v-23h24l9-43h21v43h35v23H59v120" id="o"/><g id="d"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#n"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,22.38271604938272,0)" xlink:href="#k"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,39.66666666666667,0)" xlink:href="#o"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,48.308641975308646,0)" xlink:href="#k"/></g></defs></g></svg>
\ No newline at end of file
diff --git a/images/subgraph-isomorphism.svg b/images/subgraph-isomorphism.svg
new file mode 100644
index 0000000..0e6ef9c
--- /dev/null
+++ b/images/subgraph-isomorphism.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:lucid="lucid" width="1040" height="320"><g transform="translate(-580 -220)" lucid:page-tab-id="0_0"><path d="M500 0h1500v1500H500z" fill="#fff"/><path d="M660 330c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M660 490c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M800 410c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M960 330c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#ffd9d9"/><path d="M960 490c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#cfe4ff"/><path d="M1100 410c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#c3f7c8"/><path d="M1470 450c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#ffd9d9"/><path d="M1340 390c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#cfe4ff"/><path d="M1430 330c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#e81313" stroke-width="8" fill="#c3f7c8"/><path d="M1200 490c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M1180 330c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#cfe4ff"/><path d="M580 226a6 6 0 0 1 6-6h248a6 6 0 0 1 6 6v308a6 6 0 0 1-6 6H586a6 6 0 0 1-6-6z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,585,225.00000000000003) translate(125 7.111111111111112)"/><use xlink:href="#b" transform="matrix(1,0,0,1,585,225.00000000000003) translate(38.66666666666666 35.55555555555556)"/><use xlink:href="#c" transform="matrix(1,0,0,1,585,225.00000000000003) translate(131.91358024691357 35.55555555555556)"/><path d="M880 226a6 6 0 0 1 6-6h728a6 6 0 0 1 6 6v308a6 6 0 0 1-6 6H886a6 6 0 0 1-6-6z" stroke="#000" stroke-opacity="0" stroke-width="2" fill="#fff" fill-opacity="0"/><use xlink:href="#a" transform="matrix(1,0,0,1,885,225) translate(365 7.111111111111112)"/><use xlink:href="#d" transform="matrix(1,0,0,1,885,225) translate(288.17283950617286 35.55555555555556)"/><use xlink:href="#c" transform="matrix(1,0,0,1,885,225) translate(362.40740740740745 35.55555555555556)"/><path d="M1600 490c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#c3f7c8"/><path d="M1600 330c0 16.57-13.43 30-30 30s-30-13.43-30-30 13.43-30 30-30 30 13.43 30 30z" stroke="#000" stroke-width="8" fill="#ffd9d9"/><path d="M662.97 348.84l50.44 28.82" stroke="#000" stroke-width="8" fill="none"/><path d="M665.03 345.44l-3.95 6.9-3.78-2.16 2.57-3.9 1.34-3.02z" stroke="#000" stroke-width=".05"/><path d="M729.27 386.72l-14.7-3.05 4.6-8.05z" stroke="#000" stroke-width="8"/><path d="M743.15 436.4l-54.07 26.08" stroke="#000" stroke-width="8" fill="none"/><path d="M744.82 432.87l4.16 3.87 1.1.74-5.3 2.55-3.45-7.16 2.55-1.23z" stroke="#000" stroke-width=".05"/><path d="M672.63 470.4l10.83-10.36 4.03 8.35z" stroke="#000" stroke-width="8"/><path d="M962.97 348.84l50.44 28.82" stroke="#e81313" stroke-width="8" fill="none"/><path d="M965.03 345.44l-3.95 6.9-3.78-2.16 2.57-3.9 1.34-3.02z" stroke="#e81313" stroke-width=".05" fill="#e81313"/><path d="M1029.27 386.72l-14.7-3.05 4.6-8.05z" stroke="#e81313" stroke-width="8" fill="#e81313"/><path d="M1037.08 428.8l-50.53 28.9" stroke="#e81313" stroke-width="8" fill="none"/><path d="M1038.7 423.37l2.66 5 1.38 1.78-3.78 2.17-3.94-6.9 3.67-2.1z" stroke="#e81313" stroke-width=".05" fill="#e81313"/><path d="M970.7 466.75l10.07-11.1 4.6 8.05z" stroke="#e81313" stroke-width="8" fill="#e81313"/><path d="M1428 414.04l-7.4-22.27" stroke="#e81313" stroke-width="8" fill="none"/><path d="M1433.1 416.76l-1.13.18-5.34 1.77-1.06.58-1.36-4.08 7.55-2.5z" stroke="#e81313" stroke-width=".05" fill="#e81313"/><path d="M1414.82 374.44l8.9 12.07-8.8 2.94z" stroke="#e81313" stroke-width="8" fill="#e81313"/><path d="M1368.4 351.06l-4.17 2.78" stroke="#e81313" stroke-width="8" fill="none"/><path d="M1371.36 348.36l2.8 3.64-3.63 2.43-4.4-6.62 3.65-2.43z" stroke="#e81313" stroke-width=".05" fill="#e81313"/><path d="M1349.04 363.98l9.3-11.77 5.14 7.72z" stroke="#e81313" stroke-width="8" fill="#e81313"/><path d="M1344.42 405.9l36.45 16.8" stroke="#000" stroke-width="8" fill="none"/><path d="M1346.18 402.32l-3.33 7.22-3.93-1.8.95-1.45 2.28-5.17.15-.6z" stroke="#000" stroke-width=".05"/><path d="M1397.46 430.37l-14.9-1.77 3.9-8.42z" stroke="#000" stroke-width="8"/><path d="M1096.8 383.2l7.15-7.15" stroke="#000" stroke-width="8" fill="none"/><path d="M1099.7 385.93l-3.08 3.07-1.44-1.87-4.1-3.82 3-3z" stroke="#000" stroke-width=".05"/><path d="M1116.86 363.14l-6.8 13.36-6.56-6.55z" stroke="#000" stroke-width="8"/><path d="M1402.5 455.55l-168.1 24.9" stroke="#000" stroke-width="8" fill="none"/><path d="M1406.1 452.53l.84 5.5.28.84-4.23.63-1.18-7.86 4.2-.63z" stroke="#000" stroke-width=".05"/><path d="M1216.34 483.13l13.43-6.67 1.36 9.17z" stroke="#000" stroke-width="8"/><path d="M1132 490H995.2" stroke="#000" stroke-width="8" fill="none"/><path d="M1136 489.9l.1 2.63.2 1.45h-4.4v-7.96h4.42z" stroke="#000" stroke-width=".05"/><path d="M976.95 490l14.26-4.63v9.26z" stroke="#000" stroke-width="8"/><path d="M1099.67 433.73l19.42 15.54" stroke="#000" stroke-width="8" fill="none"/><path d="M1102.23 430.7l-4.97 6.2-3.43-2.75 2.9-3.13 2.05-3.1z" stroke="#000" stroke-width=".05"/><path d="M1133.35 460.68l-14.04-5.3 5.8-7.23z" stroke="#000" stroke-width="8"/><path d="M1185.54 343.33l63.44 23.8" stroke="#000" stroke-width="8" fill="none"/><path d="M1187.04 339.64l-2.8 7.45-4.05-1.54 1.95-4.43.77-3.03z" stroke="#000" stroke-width=".05"/><path d="M1266.08 373.53l-14.98-.67 3.25-8.68z" stroke="#000" stroke-width="8"/><path d="M1279.15 412.04l-56.15 40.1" stroke="#000" stroke-width="8" fill="none"/><path d="M1281.36 408.36l3.46 4.5-3.45 2.47-4.62-6.47 3.54-2.52z" stroke="#000" stroke-width=".05"/><path d="M1208.13 462.76l8.92-12.06 5.38 7.54z" stroke="#000" stroke-width="8"/><path d="M1438 330h66.8" stroke="#000" stroke-width="8" fill="none"/><path d="M1438.1 333.98h-4.42l.33-3.88-.1-2.63-.2-1.45h4.4z" stroke="#000" stroke-width=".05"/><path d="M1523.05 330l-14.26 4.63v-9.26z" stroke="#000" stroke-width="8"/><path d="M1533.73 478.84l-31.46-9.68" stroke="#000" stroke-width="8" fill="none"/><path d="M1539 476.3l-1.15 2.57-1.28 5-4.1-1.26 2.34-7.6z" stroke="#000" stroke-width=".05"/><path d="M1484.82 463.8l15-.25-2.73 8.87z" stroke="#000" stroke-width="8"/><defs><path d="M140-251c81 0 123 46 123 126C263-53 228-8 163 1c7 30 30 48 69 40v23c-55 16-95-15-103-61C56-3 17-48 17-125c0-80 42-126 123-126zm0 227c63 0 89-41 89-101s-29-99-89-99c-61 0-89 39-89 99S79-25 140-24" id="e"/><path d="M84 4C-5 8 30-112 23-190h32v120c0 31 7 50 39 49 72-2 45-101 50-169h31l1 190h-30c-1-10 1-25-2-33-11 22-28 36-60 37" id="f"/><path d="M100-194c63 0 86 42 84 106H49c0 40 14 67 53 68 26 1 43-12 49-29l28 8c-11 28-37 45-77 45C44 4 14-33 15-96c1-61 26-98 85-98zm52 81c6-60-76-77-97-28-3 7-6 17-6 28h103" id="g"/><path d="M114-163C36-179 61-72 57 0H25l-1-190h30c1 12-1 29 2 39 6-27 23-49 58-41v29" id="h"/><path d="M179-190L93 31C79 59 56 82 12 73V49c39 6 53-20 64-50L1-190h34L92-34l54-156h33" id="i"/><g id="b"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#e"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,24.19753086419753,0)" xlink:href="#f"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,41.48148148148148,0)" xlink:href="#g"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,58.76543209876543,0)" xlink:href="#h"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,69.04938271604938,0)" xlink:href="#i"/></g><path d="M177-190C167-65 218 103 67 71c-23-6-38-20-44-43l32-5c15 47 100 32 89-28v-30C133-14 115 1 83 1 29 1 15-40 15-95c0-56 16-97 71-98 29-1 48 16 59 35 1-10 0-23 2-32h30zM94-22c36 0 50-32 50-73 0-42-14-75-50-75-39 0-46 34-46 75s6 73 46 73" id="j"/><path d="M141-36C126-15 110 5 73 4 37 3 15-17 15-53c-1-64 63-63 125-63 3-35-9-54-41-54-24 1-41 7-42 31l-33-3c5-37 33-52 76-52 45 0 72 20 72 64v82c-1 20 7 32 28 27v20c-31 9-61-2-59-35zM48-53c0 20 12 33 32 33 41-3 63-29 60-74-43 2-92-5-92 41" id="k"/><path d="M115-194c55 1 70 41 70 98S169 2 115 4C84 4 66-9 55-30l1 105H24l-1-265h31l2 30c10-21 28-34 59-34zm-8 174c40 0 45-34 45-75s-6-73-45-74c-42 0-51 32-51 76 0 43 10 73 51 73" id="l"/><path d="M106-169C34-169 62-67 57 0H25v-261h32l-1 103c12-21 28-36 61-36 89 0 53 116 60 194h-32v-121c2-32-8-49-39-48" id="m"/><g id="c"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#j"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,17.283950617283953,0)" xlink:href="#h"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,27.567901234567906,0)" xlink:href="#k"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,44.85185185185187,0)" xlink:href="#l"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,62.13580246913581,0)" xlink:href="#m"/></g><path d="M30-248c118-7 216 8 213 122C240-48 200 0 122 0H30v-248zM63-27c89 8 146-16 146-99s-60-101-146-95v194" id="n"/><path d="M59-47c-2 24 18 29 38 22v24C64 9 27 4 27-40v-127H5v-23h24l9-43h21v43h35v23H59v120" id="o"/><g id="d"><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,0,0)" xlink:href="#n"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,22.38271604938272,0)" xlink:href="#k"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,39.66666666666667,0)" xlink:href="#o"/><use transform="matrix(0.08641975308641976,0,0,0.08641975308641976,48.308641975308646,0)" xlink:href="#k"/></g></defs></g></svg>
\ No newline at end of file