\vspace{10in}
\pagestyle{empty}
\enlargethispage{100cm}
\hspace{2.5in}
% Start of code
\begin{tikzpicture}[anchor=base,>=latex',join=bevel,]
  \pgfsetlinewidth{1bp}
%%
%(0bp,0bp)(1892bp,1000bp)
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{orange}
  \draw (8bp,16bp) -- (8bp,92bp) -- (414bp,92bp) -- (414bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (211bp,74bp) node {Definitions};
\end{scope}
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{blue}
  \draw (1294bp,16bp) -- (1294bp,92bp) -- (1782bp,92bp) -- (1782bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (1538bp,74bp) node {Postulates};
\end{scope}
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{red}
  \draw (422bp,16bp) -- (422bp,92bp) -- (1170bp,92bp) -- (1170bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (796bp,74bp) node {Common Notions};
\end{scope}
  % Edge: Pr1_4 -> PO1_1
  \draw [->] (1182bp,117bp) .. controls (1236bp,112bp) and (1328bp,104bp)  .. (1407bp,100bp) .. controls (1423bp,99bp) and (1670bp,98bp)  .. (1685bp,92bp) .. controls (1697bp,87bp) and (1707bp,77bp)  .. (1722bp,60bp);
  % Edge: Pr1_4 -> CN1_4
  \draw [->] (1092bp,113bp) .. controls (1070bp,109bp) and (1044bp,102bp)  .. (1021bp,92bp) .. controls (1006bp,85bp) and (991bp,75bp)  .. (969bp,60bp);
  % Edge: Pr1_5 -> Pr1_3
  \draw [->] (1627bp,180bp) .. controls (1637bp,170bp) and (1648bp,158bp)  .. (1665bp,140bp);
  % Edge: Pr1_5 -> PO1_1
  \draw [->] (1605bp,179bp) .. controls (1604bp,156bp) and (1605bp,120bp)  .. (1627bp,100bp) .. controls (1645bp,82bp) and (1661bp,103bp)  .. (1685bp,92bp) .. controls (1696bp,87bp) and (1706bp,77bp)  .. (1721bp,60bp);
  % Edge: Pr1_5 -> Pr1_4
  \draw [->] (1564bp,192bp) .. controls (1477bp,178bp) and (1284bp,145bp)  .. (1180bp,128bp);
  % Edge: Pr1_5 -> CN1_3
  \draw [->] (1570bp,187bp) .. controls (1497bp,165bp) and (1334bp,118bp)  .. (1192bp,100bp) .. controls (1157bp,95bp) and (906bp,102bp)  .. (871bp,92bp) .. controls (855bp,86bp) and (838bp,76bp)  .. (817bp,60bp);
  % Edge: Pr1_6 -> PO1_1
  \draw [->] (1388bp,179bp) .. controls (1397bp,155bp) and (1415bp,117bp)  .. (1445bp,100bp) .. controls (1469bp,86bp) and (1660bp,102bp)  .. (1685bp,92bp) .. controls (1697bp,87bp) and (1707bp,77bp)  .. (1722bp,60bp);
  % Edge: Pr1_6 -> Pr1_3
  \draw [->] (1423bp,188bp) .. controls (1477bp,174bp) and (1574bp,149bp)  .. (1642bp,132bp);
  % Edge: Pr1_6 -> CN1_5
  \draw [->] (1376bp,178bp) .. controls (1368bp,155bp) and (1351bp,117bp)  .. (1321bp,100bp) .. controls (1292bp,82bp) and (1199bp,103bp)  .. (1166bp,92bp) .. controls (1151bp,86bp) and (1135bp,76bp)  .. (1115bp,60bp);
  % Edge: Pr1_6 -> Pr1_4
  \draw [->] (1344bp,187bp) .. controls (1301bp,173bp) and (1231bp,151bp)  .. (1174bp,133bp);
  % Edge: Pr1_7 -> PO1_1
  \draw [->] (1420bp,257bp) .. controls (1449bp,219bp) and (1521bp,136bp)  .. (1602bp,100bp) .. controls (1635bp,85bp) and (1651bp,107bp)  .. (1685bp,92bp) .. controls (1697bp,87bp) and (1706bp,77bp)  .. (1721bp,60bp);
  % Edge: Pr1_7 -> CN1_5
  \draw [->] (1375bp,261bp) .. controls (1359bp,251bp) and (1339bp,237bp)  .. (1326bp,220bp) .. controls (1292bp,174bp) and (1329bp,134bp)  .. (1283bp,100bp) .. controls (1263bp,84bp) and (1191bp,100bp)  .. (1166bp,92bp) .. controls (1150bp,86bp) and (1136bp,76bp)  .. (1115bp,60bp);
  % Edge: Pr1_7 -> Pr1_5
  \draw [->] (1440bp,263bp) .. controls (1475bp,250bp) and (1526bp,231bp)  .. (1572bp,213bp);
  % Edge: Pr1_8 -> Pr1_7
  \draw [->] (1398bp,335bp) .. controls (1399bp,326bp) and (1400bp,317bp)  .. (1403bp,298bp);
  % Edge: Pr1_8 -> CN1_4
  \draw [->] (1380bp,336bp) .. controls (1371bp,325bp) and (1359bp,310bp)  .. (1349bp,298bp) .. controls (1279bp,210bp) and (1292bp,151bp)  .. (1192bp,100bp) .. controls (1159bp,82bp) and (1058bp,103bp)  .. (1021bp,92bp) .. controls (1005bp,86bp) and (988bp,76bp)  .. (967bp,60bp);
  % Edge: Pr1_22 -> Pr1_20
  \draw [->] (1617bp,490bp) .. controls (1617bp,482bp) and (1617bp,473bp)  .. (1617bp,454bp);
  % Edge: Pr1_22 -> Pr1_3
  \draw [->] (1642bp,493bp) .. controls (1654bp,483bp) and (1668bp,469bp)  .. (1678bp,454bp) .. controls (1716bp,393bp) and (1712bp,369bp)  .. (1721bp,298bp) .. controls (1727bp,244bp) and (1730bp,229bp)  .. (1715bp,178bp) .. controls (1712bp,168bp) and (1707bp,158bp)  .. (1697bp,141bp);
  % Edge: Pr1_23 -> Pr1_22
  \draw [->] (1534bp,571bp) .. controls (1548bp,560bp) and (1568bp,547bp)  .. (1592bp,529bp);
  % Edge: Pr1_23 -> Pr1_8
  \draw [->] (1499bp,569bp) .. controls (1479bp,528bp) and (1433bp,432bp)  .. (1406bp,375bp);
  % Edge: Pr1_31 -> Pr1_23
  \draw [->] (961bp,661bp) .. controls (1070bp,646bp) and (1332bp,612bp)  .. (1460bp,595bp);
  % Edge: Pr1_31 -> Pr1_27
  \draw [->] (862bp,661bp) .. controls (813bp,653bp) and (736bp,638bp)  .. (675bp,610bp) .. controls (568bp,560bp) and (513bp,559bp)  .. (458bp,454bp) .. controls (447bp,432bp) and (454bp,405bp)  .. (467bp,375bp);
  % Edge: Pr1_13 -> D1_10
  \draw [->] (466bp,113bp) .. controls (438bp,109bp) and (403bp,104bp)  .. (372bp,100bp) .. controls (346bp,96bp) and (337bp,103bp)  .. (313bp,92bp) .. controls (301bp,87bp) and (291bp,77bp)  .. (276bp,60bp);
  % Edge: Pr1_13 -> Pr1_11
  \draw [->] (564bp,114bp) .. controls (602bp,109bp) and (658bp,103bp)  .. (707bp,100bp) .. controls (733bp,98bp) and (1150bp,101bp)  .. (1174bp,92bp) .. controls (1186bp,87bp) and (1198bp,78bp)  .. (1215bp,62bp);
  % Edge: Pr1_13 -> CN1_2
  \draw [->] (547bp,105bp) .. controls (555bp,101bp) and (563bp,96bp)  .. (571bp,92bp) .. controls (585bp,84bp) and (599bp,74bp)  .. (620bp,60bp);
  % Edge: Pr1_13 -> CN1_1
  \draw [->] (509bp,100bp) .. controls (507bp,91bp) and (505bp,80bp)  .. (500bp,60bp);
  % Edge: Pr1_14 -> CN1_1
  \draw [->] (269bp,182bp) .. controls (304bp,161bp) and (366bp,124bp)  .. (418bp,92bp) .. controls (432bp,84bp) and (447bp,74bp)  .. (468bp,60bp);
  % Edge: Pr1_14 -> Pr1_13
  \draw [->] (280bp,186bp) .. controls (289bp,183bp) and (298bp,180bp)  .. (306bp,178bp) .. controls (369bp,160bp) and (386bp,159bp)  .. (448bp,142bp) .. controls (453bp,140bp) and (459bp,139bp)  .. (474bp,134bp);
  % Edge: Pr1_14 -> CN1_3
  \draw [->] (279bp,185bp) .. controls (308bp,175bp) and (349bp,159bp)  .. (383bp,142bp) .. controls (416bp,125bp) and (419bp,110bp)  .. (453bp,100bp) .. controls (511bp,83bp) and (665bp,110bp)  .. (721bp,92bp) .. controls (738bp,86bp) and (755bp,76bp)  .. (776bp,60bp);
  % Edge: Pr1_15 -> Pr1_13
  \draw [->] (613bp,182bp) .. controls (595bp,171bp) and (571bp,156bp)  .. (542bp,138bp);
  % Edge: Pr1_15 -> CN1_1
  \draw [->] (631bp,179bp) .. controls (619bp,158bp) and (599bp,124bp)  .. (575bp,100bp) .. controls (563bp,88bp) and (548bp,76bp)  .. (526bp,60bp);
  % Edge: Pr1_15 -> CN1_3
  \draw [->] (651bp,179bp) .. controls (662bp,157bp) and (683bp,123bp)  .. (707bp,100bp) .. controls (713bp,95bp) and (715bp,95bp)  .. (721bp,92bp) .. controls (735bp,84bp) and (749bp,74bp)  .. (770bp,60bp);
  % Edge: Pr1_16 -> Pr1_10
  \draw [->] (974bp,257bp) .. controls (972bp,248bp) and (970bp,239bp)  .. (965bp,220bp);
  % Edge: Pr1_16 -> Pr1_3
  \draw [->] (1028bp,272bp) .. controls (1140bp,260bp) and (1400bp,232bp)  .. (1438bp,220bp) .. controls (1477bp,207bp) and (1482bp,194bp)  .. (1519bp,178bp) .. controls (1556bp,162bp) and (1601bp,146bp)  .. (1644bp,133bp);
  % Edge: Pr1_16 -> Pr1_15
  \draw [->] (933bp,267bp) .. controls (871bp,253bp) and (762bp,227bp)  .. (686bp,209bp);
  % Edge: Pr1_16 -> Pr1_4
  \draw [->] (994bp,257bp) .. controls (1010bp,237bp) and (1038bp,203bp)  .. (1065bp,178bp) .. controls (1077bp,167bp) and (1092bp,155bp)  .. (1112bp,139bp);
  % Edge: Pr1_17 -> Pr1_16
  \draw [->] (931bp,335bp) .. controls (939bp,326bp) and (948bp,315bp)  .. (962bp,297bp);
  % Edge: Pr1_17 -> Pr1_13
  \draw [->] (881bp,339bp) .. controls (835bp,319bp) and (753bp,283bp)  .. (681bp,256bp) .. controls (637bp,238bp) and (618bp,249bp)  .. (580bp,220bp) .. controls (567bp,209bp) and (546bp,175bp)  .. (526bp,141bp);
  % Edge: Pr1_18 -> Pr1_3
  \draw [->] (1650bp,257bp) .. controls (1655bp,246bp) and (1660bp,232bp)  .. (1664bp,220bp) .. controls (1670bp,197bp) and (1675bp,172bp)  .. (1680bp,142bp);
  % Edge: Pr1_18 -> Pr1_5
  \draw [->] (1632bp,257bp) .. controls (1629bp,248bp) and (1625bp,238bp)  .. (1617bp,219bp);
  % Edge: Pr1_19 -> Pr1_5
  \draw [->] (1603bp,336bp) .. controls (1594bp,325bp) and (1584bp,312bp)  .. (1580bp,298bp) .. controls (1574bp,280bp) and (1575bp,274bp)  .. (1580bp,256bp) .. controls (1582bp,247bp) and (1586bp,237bp)  .. (1595bp,219bp);
  % Edge: Pr1_19 -> Pr1_18
  \draw [->] (1627bp,335bp) .. controls (1629bp,326bp) and (1631bp,317bp)  .. (1636bp,298bp);
  % Edge: Pr1_20 -> Pr1_3
  \draw [->] (1644bp,415bp) .. controls (1658bp,405bp) and (1673bp,392bp)  .. (1683bp,376bp) .. controls (1726bp,305bp) and (1706bp,201bp)  .. (1690bp,141bp);
  % Edge: Pr1_20 -> Pr1_5
  \draw [->] (1592bp,415bp) .. controls (1580bp,405bp) and (1567bp,391bp)  .. (1561bp,376bp) .. controls (1553bp,354bp) and (1567bp,262bp)  .. (1570bp,256bp) .. controls (1574bp,245bp) and (1579bp,235bp)  .. (1591bp,218bp);
  % Edge: Pr1_20 -> Pr1_19
  \draw [->] (1618bp,413bp) .. controls (1619bp,404bp) and (1619bp,395bp)  .. (1621bp,376bp);
  % Edge: Pr1_21 -> Pr1_20
  \draw [->] (1355bp,500bp) .. controls (1410bp,486bp) and (1504bp,462bp)  .. (1573bp,444bp);
  % Edge: Pr1_21 -> Pr1_16
  \draw [->] (1272bp,497bp) .. controls (1200bp,472bp) and (1052bp,416bp)  .. (1014bp,376bp) .. controls (997bp,357bp) and (988bp,329bp)  .. (981bp,297bp);
  % Edge: Pr1_24 -> Pr1_23
  \draw [->] (1538bp,647bp) .. controls (1534bp,638bp) and (1529bp,628bp)  .. (1520bp,609bp);
  % Edge: Pr1_24 -> Pr1_3
  \draw [->] (1572bp,648bp) .. controls (1601bp,624bp) and (1650bp,580bp)  .. (1678bp,532bp) .. controls (1714bp,469bp) and (1711bp,447bp)  .. (1726bp,376bp) .. controls (1743bp,289bp) and (1764bp,260bp)  .. (1733bp,178bp) .. controls (1728bp,166bp) and (1720bp,155bp)  .. (1705bp,139bp);
  % Edge: Pr1_24 -> Pr1_4
  \draw [->] (1513bp,652bp) .. controls (1492bp,642bp) and (1467bp,628bp)  .. (1448bp,610bp) .. controls (1410bp,571bp) and (1243bp,219bp)  .. (1207bp,178bp) .. controls (1196bp,166bp) and (1183bp,153bp)  .. (1162bp,138bp);
  % Edge: Pr1_24 -> Pr1_5
  \draw [->] (1558bp,647bp) .. controls (1563bp,636bp) and (1568bp,622bp)  .. (1570bp,610bp) .. controls (1573bp,591bp) and (1573bp,586bp)  .. (1570bp,568bp) .. controls (1566bp,551bp) and (1559bp,548bp)  .. (1556bp,532bp) .. controls (1539bp,445bp) and (1551bp,421bp)  .. (1553bp,334bp) .. controls (1554bp,299bp) and (1545bp,288bp)  .. (1558bp,256bp) .. controls (1563bp,244bp) and (1570bp,233bp)  .. (1586bp,217bp);
  % Edge: Pr1_25 -> Pr1_19
  \draw [->] (1599bp,739bp) .. controls (1676bp,726bp) and (1816bp,688bp)  .. (1816bp,589bp) .. controls (1816bp,589bp) and (1816bp,589bp)  .. (1816bp,511bp) .. controls (1816bp,437bp) and (1731bp,393bp)  .. (1664bp,368bp);
  % Edge: Pr1_25 -> Pr1_4
  \draw [->] (1513bp,730bp) .. controls (1449bp,702bp) and (1316bp,634bp)  .. (1250bp,532bp) .. controls (1226bp,494bp) and (1231bp,477bp)  .. (1231bp,433bp) .. controls (1231bp,433bp) and (1231bp,433bp)  .. (1231bp,355bp) .. controls (1231bp,276bp) and (1184bp,192bp)  .. (1150bp,141bp);
  % Edge: Pr1_25 -> Pr1_24
  \draw [->] (1549bp,724bp) .. controls (1549bp,716bp) and (1549bp,707bp)  .. (1549bp,688bp);
  % Edge: Pr1_26 -> Pr1_3
  \draw [->] (1112bp,340bp) .. controls (1164bp,320bp) and (1263bp,282bp)  .. (1349bp,256bp) .. controls (1411bp,236bp) and (1432bp,246bp)  .. (1490bp,220bp) .. controls (1521bp,206bp) and (1523bp,194bp)  .. (1552bp,178bp) .. controls (1579bp,163bp) and (1612bp,149bp)  .. (1647bp,134bp);
  % Edge: Pr1_26 -> Pr1_4
  \draw [->] (1076bp,334bp) .. controls (1078bp,301bp) and (1084bp,232bp)  .. (1103bp,178bp) .. controls (1107bp,168bp) and (1112bp,158bp)  .. (1122bp,141bp);
  % Edge: Pr1_26 -> Pr1_16
  \draw [->] (1052bp,337bp) .. controls (1039bp,326bp) and (1023bp,313bp)  .. (1001bp,296bp);
  % Edge: Pr1_27 -> D1_23
  \draw [->] (429bp,348bp) .. controls (361bp,335bp) and (239bp,302bp)  .. (179bp,220bp) .. controls (147bp,175bp) and (150bp,108bp)  .. (157bp,60bp);
  % Edge: Pr1_27 -> Pr1_16
  \draw [->] (526bp,347bp) .. controls (619bp,333bp) and (820bp,301bp)  .. (930bp,285bp);
  % Edge: Pr1_28 -> Pr1_13
  \draw [->] (362bp,412bp) .. controls (366bp,392bp) and (372bp,360bp)  .. (383bp,334bp) .. controls (413bp,262bp) and (464bp,188bp)  .. (499bp,141bp);
  % Edge: Pr1_28 -> Pr1_27
  \draw [->] (386bp,415bp) .. controls (402bp,404bp) and (424bp,390bp)  .. (451bp,373bp);
  % Edge: Pr1_28 -> Pr1_15
  \draw [->] (367bp,413bp) .. controls (377bp,391bp) and (395bp,357bp)  .. (417bp,334bp) .. controls (469bp,281bp) and (547bp,240bp)  .. (605bp,214bp);
  % Edge: Pr1_29 -> Pr1_13
  \draw [->] (585bp,261bp) .. controls (569bp,251bp) and (550bp,237bp)  .. (538bp,220bp) .. controls (524bp,200bp) and (516bp,173bp)  .. (511bp,142bp);
  % Edge: Pr1_29 -> PO1_5
  \draw [->] (647bp,260bp) .. controls (664bp,249bp) and (685bp,234bp)  .. (702bp,220bp) .. controls (723bp,202bp) and (722bp,190bp)  .. (745bp,178bp) .. controls (880bp,104bp) and (929bp,120bp)  .. (1080bp,100bp) .. controls (1105bp,96bp) and (1277bp,102bp)  .. (1298bp,92bp) .. controls (1309bp,87bp) and (1318bp,77bp)  .. (1332bp,60bp);
  % Edge: Pr1_29 -> D1_23
  \draw [->] (580bp,264bp) .. controls (503bp,238bp) and (335bp,176bp)  .. (211bp,92bp) .. controls (201bp,85bp) and (191bp,76bp)  .. (176bp,60bp);
  % Edge: Pr1_29 -> Pr1_15
  \draw [->] (626bp,257bp) .. controls (628bp,248bp) and (631bp,239bp)  .. (636bp,220bp);
  % Edge: Pr1_29 -> Pr1_13
  \draw [->] (597bp,258bp) .. controls (583bp,249bp) and (567bp,235bp)  .. (556bp,220bp) .. controls (541bp,199bp) and (533bp,171bp)  .. (524bp,141bp);
  % Edge: Pr1_30 -> Pr1_29
  \draw [->] (532bp,413bp) .. controls (549bp,386bp) and (581bp,337bp)  .. (607bp,297bp);
  % Edge: Pr1_30 -> Pr1_27
  \draw [->] (508bp,413bp) .. controls (503bp,404bp) and (498bp,394bp)  .. (488bp,375bp);
  % Edge: Pr1_32 -> Pr1_31
  \draw [->] (631bp,731bp) .. controls (639bp,728bp) and (647bp,726bp)  .. (654bp,724bp) .. controls (722bp,704bp) and (802bp,688bp)  .. (865bp,676bp);
  % Edge: Pr1_32 -> Pr1_29
  \draw [->] (594bp,724bp) .. controls (598bp,650bp) and (613bp,396bp)  .. (619bp,298bp);
  % Edge: Pr1_32 -> Pr1_13
  \draw [->] (550bp,733bp) .. controls (464bp,708bp) and (279bp,648bp)  .. (279bp,589bp) .. controls (279bp,589bp) and (279bp,589bp)  .. (279bp,511bp) .. controls (279bp,346bp) and (332bp,300bp)  .. (441bp,178bp) .. controls (452bp,166bp) and (466bp,154bp)  .. (487bp,139bp);
  % Edge: Pr1_33 -> Pr1_29
  \draw [->] (671bp,413bp) .. controls (661bp,386bp) and (643bp,338bp)  .. (628bp,297bp);
  % Edge: Pr1_33 -> Pr1_4
  \draw [->] (681bp,412bp) .. controls (686bp,363bp) and (708bp,238bp)  .. (783bp,178bp) .. controls (795bp,168bp) and (984bp,142bp)  .. (1091bp,127bp);
  % Edge: Pr1_33 -> Pr1_27
  \draw [->] (642bp,419bp) .. controls (609bp,406bp) and (560bp,387bp)  .. (515bp,369bp);
  % Edge: Pr1_34 -> Pr1_29
  \draw [->] (958bp,419bp) .. controls (929bp,408bp) and (889bp,392bp)  .. (854bp,376bp) .. controls (818bp,359bp) and (811bp,350bp)  .. (773bp,334bp) .. controls (739bp,319bp) and (700bp,304bp)  .. (660bp,290bp);
  % Edge: Pr1_34 -> Pr1_26
  \draw [->] (1016bp,414bp) .. controls (1026bp,404bp) and (1038bp,392bp)  .. (1056bp,374bp);
  % Edge: Pr1_34 -> Pr1_4
  \draw [->] (1046bp,427bp) .. controls (1077bp,420bp) and (1116bp,405bp)  .. (1136bp,376bp) .. controls (1143bp,367bp) and (1138bp,218bp)  .. (1137bp,142bp);
  % Edge: Pr1_35 -> Pr1_34
  \draw [->] (796bp,498bp) .. controls (837bp,485bp) and (901bp,464bp)  .. (956bp,446bp);
  % Edge: Pr1_35 -> Pr1_29
  \draw [->] (756bp,490bp) .. controls (756bp,469bp) and (752bp,437bp)  .. (740bp,412bp) .. controls (719bp,367bp) and (679bp,327bp)  .. (643bp,296bp);
  % Edge: Pr1_35 -> Pr1_4
  \draw [->] (765bp,491bp) .. controls (777bp,461bp) and (797bp,405bp)  .. (797bp,355bp) .. controls (797bp,355bp) and (797bp,355bp)  .. (797bp,277bp) .. controls (797bp,213bp) and (845bp,208bp)  .. (900bp,178bp) .. controls (957bp,147bp) and (1030bp,133bp)  .. (1090bp,125bp);
  % Edge: Pr1_36 -> Pr1_33
  \draw [->] (719bp,569bp) .. controls (710bp,559bp) and (701bp,545bp)  .. (695bp,532bp) .. controls (686bp,510bp) and (682bp,484bp)  .. (680bp,454bp);
  % Edge: Pr1_36 -> Pr1_34
  \draw [->] (786bp,583bp) .. controls (849bp,575bp) and (951bp,559bp)  .. (977bp,532bp) .. controls (994bp,514bp) and (998bp,486bp)  .. (998bp,454bp);
  % Edge: Pr1_36 -> Pr1_35
  \draw [->] (741bp,569bp) .. controls (743bp,560bp) and (746bp,551bp)  .. (751bp,532bp);
  % Edge: Pr1_37 -> Pr1_31
  \draw [->] (972bp,726bp) .. controls (962bp,716bp) and (950bp,704bp)  .. (932bp,686bp);
  % Edge: Pr1_37 -> Pr1_35
  \draw [->] (993bp,724bp) .. controls (993bp,703bp) and (990bp,669bp)  .. (973bp,646bp) .. controls (933bp,586bp) and (856bp,548bp)  .. (796bp,524bp);
  % Edge: Pr1_37 -> Pr1_34
  \draw [->] (1004bp,725bp) .. controls (1029bp,681bp) and (1081bp,574bp)  .. (1048bp,490bp) .. controls (1043bp,478bp) and (1035bp,468bp)  .. (1020bp,451bp);
  % Edge: Pr1_38 -> Pr1_31
  \draw [->] (752bp,730bp) .. controls (784bp,717bp) and (831bp,699bp)  .. (875bp,682bp);
  % Edge: Pr1_38 -> Pr1_36
  \draw [->] (718bp,724bp) .. controls (722bp,697bp) and (728bp,651bp)  .. (733bp,610bp);
  % Edge: Pr1_38 -> Pr1_34
  \draw [->] (740bp,727bp) .. controls (809bp,676bp) and (998bp,539bp)  .. (1001bp,532bp) .. controls (1012bp,511bp) and (1009bp,483bp)  .. (1003bp,453bp);
  % Edge: Pr1_39 -> Pr1_31
  \draw [->] (966bp,805bp) .. controls (954bp,795bp) and (940bp,781bp)  .. (931bp,766bp) .. controls (920bp,745bp) and (915bp,718bp)  .. (912bp,688bp);
  % Edge: Pr1_39 -> Pr1_37
  \draw [->] (992bp,802bp) .. controls (992bp,794bp) and (992bp,785bp)  .. (992bp,766bp);
  % Edge: Pr1_40 -> Pr1_31
  \draw [->] (732bp,804bp) .. controls (745bp,793bp) and (762bp,779bp)  .. (776bp,766bp) .. controls (796bp,747bp) and (798bp,740bp)  .. (819bp,724bp) .. controls (836bp,711bp) and (855bp,699bp)  .. (881bp,684bp);
  % Edge: Pr1_40 -> Pr1_38
  \draw [->] (711bp,803bp) .. controls (712bp,794bp) and (712bp,785bp)  .. (714bp,766bp);
  % Edge: Pr1_41 -> Pr1_34
  \draw [->] (1102bp,803bp) .. controls (1090bp,782bp) and (1071bp,750bp)  .. (1053bp,724bp) .. controls (1005bp,651bp) and (1003bp,621bp)  .. (933bp,568bp) .. controls (903bp,544bp) and (876bp,564bp)  .. (855bp,532bp) .. controls (845bp,516bp) and (845bp,505bp)  .. (855bp,490bp) .. controls (873bp,463bp) and (906bp,448bp)  .. (946bp,439bp);
  % Edge: Pr1_41 -> Pr1_37
  \draw [->] (1087bp,805bp) .. controls (1070bp,794bp) and (1047bp,780bp)  .. (1020bp,763bp);
  % Edge: Pr1_43 -> Pr1_34
  \draw [->] (936bp,492bp) .. controls (946bp,482bp) and (958bp,470bp)  .. (976bp,452bp);
  % Edge: Pr1_47 -> Pr1_46
  \draw [->] (965bp,883bp) .. controls (948bp,872bp) and (925bp,858bp)  .. (898bp,841bp);
  % Edge: Pr1_47 -> Pr1_31
  \draw [->] (944bp,893bp) .. controls (896bp,883bp) and (826bp,866bp)  .. (809bp,844bp) .. controls (798bp,828bp) and (804bp,819bp)  .. (809bp,802bp) .. controls (824bp,759bp) and (859bp,718bp)  .. (891bp,686bp);
  % Edge: Pr1_47 -> Pr1_14
  \draw [->] (942bp,896bp) .. controls (773bp,878bp) and (241bp,817bp)  .. (241bp,745bp) .. controls (241bp,745bp) and (241bp,745bp)  .. (241bp,355bp) .. controls (241bp,311bp) and (241bp,261bp)  .. (240bp,220bp);
  % Edge: Pr1_47 -> Pr1_4
  \draw [->] (1039bp,892bp) .. controls (1088bp,883bp) and (1158bp,865bp)  .. (1175bp,844bp) .. controls (1267bp,727bp) and (1193bp,659bp)  .. (1193bp,511bp) .. controls (1193bp,511bp) and (1193bp,511bp)  .. (1193bp,433bp) .. controls (1193bp,328bp) and (1161bp,207bp)  .. (1142bp,142bp);
  % Edge: Pr1_47 -> Pr1_41
  \draw [->] (1019bp,883bp) .. controls (1036bp,872bp) and (1059bp,858bp)  .. (1086bp,841bp);
  % Edge: Pr1_48 -> Pr1_3
  \draw [->] (1668bp,970bp) .. controls (1736bp,953bp) and (1854bp,911bp)  .. (1854bp,823bp) .. controls (1854bp,823bp) and (1854bp,823bp)  .. (1854bp,277bp) .. controls (1854bp,208bp) and (1779bp,162bp)  .. (1718bp,135bp);
  % Edge: Pr1_48 -> Pr1_11
  \draw [->] (1672bp,973bp) .. controls (1750bp,960bp) and (1892bp,923bp)  .. (1892bp,823bp) .. controls (1892bp,823bp) and (1892bp,823bp)  .. (1892bp,199bp) .. controls (1892bp,118bp) and (1816bp,123bp)  .. (1739bp,100bp) .. controls (1691bp,85bp) and (1337bp,109bp)  .. (1290bp,92bp) .. controls (1277bp,86bp) and (1266bp,78bp)  .. (1249bp,62bp);
  % Edge: Pr1_48 -> Pr1_47
  \draw [->] (1572bp,973bp) .. controls (1458bp,958bp) and (1176bp,924bp)  .. (1042bp,907bp);
  % Edge: Pr1_48 -> Pr1_8
  \draw [->] (1576bp,969bp) .. controls (1508bp,953bp) and (1391bp,911bp)  .. (1391bp,823bp) .. controls (1391bp,823bp) and (1391bp,823bp)  .. (1391bp,511bp) .. controls (1391bp,467bp) and (1393bp,417bp)  .. (1395bp,376bp);
  % Node: Pr1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1683bp,121bp) ellipse (47bp and 21bp);
  \draw (1683bp,114bp) node {Prop. 1.3};
\end{scope}
  % Node: Pr1_7
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1405bp,277bp) ellipse (47bp and 21bp);
  \draw (1405bp,270bp) node {Prop. 1.7};
\end{scope}
  % Node: Pr1_10
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (961bp,199bp) ellipse (52bp and 21bp);
  \draw (961bp,192bp) node {Prop. 1.10};
\end{scope}
  % Node: Pr1_11
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1232bp,42bp) ellipse (52bp and 21bp);
  \draw (1232bp,35bp) node {Prop. 1.11};
\end{scope}
  % Node: Pr1_46
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (870bp,823bp) ellipse (52bp and 21bp);
  \draw (870bp,816bp) node {Prop. 1.46};
\end{scope}
  % Node: Pr1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1136bp,121bp) ellipse (47bp and 21bp);
  \draw (1136bp,114bp) node {Prop. 1.4};
\end{scope}
  % Node: Pr1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1608bp,199bp) ellipse (47bp and 21bp);
  \draw (1608bp,192bp) node {Prop. 1.5};
\end{scope}
  % Node: Pr1_6
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1382bp,199bp) ellipse (47bp and 21bp);
  \draw (1382bp,192bp) node {Prop. 1.6};
\end{scope}
  % Node: Pr1_8
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1396bp,355bp) ellipse (47bp and 21bp);
  \draw (1396bp,348bp) node {Prop. 1.8};
\end{scope}
  % Node: Pr1_22
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1617bp,511bp) ellipse (52bp and 21bp);
  \draw (1617bp,504bp) node {Prop. 1.22};
\end{scope}
  % Node: Pr1_20
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1617bp,433bp) ellipse (52bp and 21bp);
  \draw (1617bp,426bp) node {Prop. 1.20};
\end{scope}
  % Node: Pr1_23
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1509bp,589bp) ellipse (52bp and 21bp);
  \draw (1509bp,582bp) node {Prop. 1.23};
\end{scope}
  % Node: Pr1_31
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (912bp,667bp) ellipse (52bp and 21bp);
  \draw (912bp,660bp) node {Prop. 1.31};
\end{scope}
  % Node: Pr1_27
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (478bp,355bp) ellipse (52bp and 21bp);
  \draw (478bp,348bp) node {Prop. 1.27};
\end{scope}
  % Node: Pr1_13
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (514bp,121bp) ellipse (52bp and 21bp);
  \draw (514bp,114bp) node {Prop. 1.13};
\end{scope}
  % Node: Pr1_14
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (240bp,199bp) ellipse (52bp and 21bp);
  \draw (240bp,192bp) node {Prop. 1.14};
\end{scope}
  % Node: Pr1_15
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (641bp,199bp) ellipse (52bp and 21bp);
  \draw (641bp,192bp) node {Prop. 1.15};
\end{scope}
  % Node: Pr1_16
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (978bp,277bp) ellipse (52bp and 21bp);
  \draw (978bp,270bp) node {Prop. 1.16};
\end{scope}
  % Node: Pr1_17
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (915bp,355bp) ellipse (52bp and 21bp);
  \draw (915bp,348bp) node {Prop. 1.17};
\end{scope}
  % Node: Pr1_18
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1641bp,277bp) ellipse (52bp and 21bp);
  \draw (1641bp,270bp) node {Prop. 1.18};
\end{scope}
  % Node: Pr1_19
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1622bp,355bp) ellipse (52bp and 21bp);
  \draw (1622bp,348bp) node {Prop. 1.19};
\end{scope}
  % Node: Pr1_21
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1311bp,511bp) ellipse (52bp and 21bp);
  \draw (1311bp,504bp) node {Prop. 1.21};
\end{scope}
  % Node: Pr1_24
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1549bp,667bp) ellipse (52bp and 21bp);
  \draw (1549bp,660bp) node {Prop. 1.24};
\end{scope}
  % Node: Pr1_25
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1549bp,745bp) ellipse (52bp and 21bp);
  \draw (1549bp,738bp) node {Prop. 1.25};
\end{scope}
  % Node: Pr1_26
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1075bp,355bp) ellipse (52bp and 21bp);
  \draw (1075bp,348bp) node {Prop. 1.26};
\end{scope}
  % Node: Pr1_28
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (359bp,433bp) ellipse (52bp and 21bp);
  \draw (359bp,426bp) node {Prop. 1.28};
\end{scope}
  % Node: Pr1_29
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (620bp,277bp) ellipse (52bp and 21bp);
  \draw (620bp,270bp) node {Prop. 1.29};
\end{scope}
  % Node: Pr1_30
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (519bp,433bp) ellipse (52bp and 21bp);
  \draw (519bp,426bp) node {Prop. 1.30};
\end{scope}
  % Node: Pr1_32
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (593bp,745bp) ellipse (52bp and 21bp);
  \draw (593bp,738bp) node {Prop. 1.32};
\end{scope}
  % Node: Pr1_33
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (679bp,433bp) ellipse (52bp and 21bp);
  \draw (679bp,426bp) node {Prop. 1.33};
\end{scope}
  % Node: Pr1_34
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (996bp,433bp) ellipse (52bp and 21bp);
  \draw (996bp,426bp) node {Prop. 1.34};
\end{scope}
  % Node: Pr1_35
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (756bp,511bp) ellipse (52bp and 21bp);
  \draw (756bp,504bp) node {Prop. 1.35};
\end{scope}
  % Node: Pr1_36
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (736bp,589bp) ellipse (52bp and 21bp);
  \draw (736bp,582bp) node {Prop. 1.36};
\end{scope}
  % Node: Pr1_37
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (992bp,745bp) ellipse (52bp and 21bp);
  \draw (992bp,738bp) node {Prop. 1.37};
\end{scope}
  % Node: Pr1_38
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (715bp,745bp) ellipse (52bp and 21bp);
  \draw (715bp,738bp) node {Prop. 1.38};
\end{scope}
  % Node: Pr1_39
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (992bp,823bp) ellipse (52bp and 21bp);
  \draw (992bp,816bp) node {Prop. 1.39};
\end{scope}
  % Node: Pr1_40
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (710bp,823bp) ellipse (52bp and 21bp);
  \draw (710bp,816bp) node {Prop. 1.40};
\end{scope}
  % Node: Pr1_41
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1114bp,823bp) ellipse (52bp and 21bp);
  \draw (1114bp,816bp) node {Prop. 1.41};
\end{scope}
  % Node: Pr1_43
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (916bp,511bp) ellipse (52bp and 21bp);
  \draw (916bp,504bp) node {Prop. 1.43};
\end{scope}
  % Node: Pr1_47
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (992bp,901bp) ellipse (52bp and 21bp);
  \draw (992bp,894bp) node {Prop. 1.47};
\end{scope}
  % Node: Pr1_48
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1622bp,979bp) ellipse (52bp and 21bp);
  \draw (1622bp,972bp) node {Prop. 1.48};
\end{scope}
  % Node: D1_22
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (406bp,60bp) -- (322bp,60bp) -- (322bp,24bp) -- (406bp,24bp) -- cycle;
  \draw (364bp,35bp) node {Def. 1.22};
\end{scope}
  % Node: D1_23
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (202bp,60bp) -- (118bp,60bp) -- (118bp,24bp) -- (202bp,24bp) -- cycle;
  \draw (160bp,35bp) node {Def. 1.23};
\end{scope}
  % Node: D1_10
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (304bp,60bp) -- (220bp,60bp) -- (220bp,24bp) -- (304bp,24bp) -- cycle;
  \draw (262bp,35bp) node {Def. 1.10};
\end{scope}
  % Node: D1_15
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (100bp,60bp) -- (16bp,60bp) -- (16bp,24bp) -- (100bp,24bp) -- cycle;
  \draw (58bp,35bp) node {Def. 1.15};
\end{scope}
  % Node: PO1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1774bp,60bp) -- (1694bp,60bp) -- (1694bp,24bp) -- (1774bp,24bp) -- cycle;
  \draw (1734bp,35bp) node {Post. 1.1};
\end{scope}
  % Node: PO1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1676bp,60bp) -- (1596bp,60bp) -- (1596bp,24bp) -- (1676bp,24bp) -- cycle;
  \draw (1636bp,35bp) node {Post. 1.2};
\end{scope}
  % Node: PO1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1578bp,60bp) -- (1498bp,60bp) -- (1498bp,24bp) -- (1578bp,24bp) -- cycle;
  \draw (1538bp,35bp) node {Post. 1.3};
\end{scope}
  % Node: PO1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1480bp,60bp) -- (1400bp,60bp) -- (1400bp,24bp) -- (1480bp,24bp) -- cycle;
  \draw (1440bp,35bp) node {Post. 1.4};
\end{scope}
  % Node: PO1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1382bp,60bp) -- (1302bp,60bp) -- (1302bp,24bp) -- (1382bp,24bp) -- cycle;
  \draw (1342bp,35bp) node {Post. 1.5};
\end{scope}
  % Node: CN1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (562bp,60bp) -- (430bp,60bp) -- (430bp,24bp) -- (562bp,24bp) -- cycle;
  \draw (496bp,35bp) node {Comm. Not. 1.1};
\end{scope}
  % Node: CN1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (712bp,60bp) -- (580bp,60bp) -- (580bp,24bp) -- (712bp,24bp) -- cycle;
  \draw (646bp,35bp) node {Comm. Not. 1.2};
\end{scope}
  % Node: CN1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (862bp,60bp) -- (730bp,60bp) -- (730bp,24bp) -- (862bp,24bp) -- cycle;
  \draw (796bp,35bp) node {Comm. Not. 1.3};
\end{scope}
  % Node: CN1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1012bp,60bp) -- (880bp,60bp) -- (880bp,24bp) -- (1012bp,24bp) -- cycle;
  \draw (946bp,35bp) node {Comm. Not. 1.4};
\end{scope}
  % Node: CN1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1162bp,60bp) -- (1030bp,60bp) -- (1030bp,24bp) -- (1162bp,24bp) -- cycle;
  \draw (1096bp,35bp) node {Comm. Not. 1.5};
\end{scope}
%
\end{tikzpicture}
% End of code

\begin{center}
\Huge Figure 2: Dependency graph of Relation Propositions from Book I of Euclid's \textit{Elements}.
\end{center}
\begin{flushright}
\Huge Thomson Nguyen\\
\texttt{thomson@ocf.berkeley.edu}
\end{flushright}