\huge

\pagestyle{empty}
\enlargethispage{100cm}
\vspace{10in}

% Start of code
\begin{tikzpicture}[anchor=base,>=latex',join=bevel,]
  \pgfsetlinewidth{1bp}
%%
%(0bp,0bp)(2062bp,768bp)
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{orange}
  \draw (8bp,16bp) -- (8bp,92bp) -- (502bp,92bp) -- (502bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (255bp,74bp) node {Definitions};
\end{scope}
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{blue}
  \draw (1466bp,16bp) -- (1466bp,92bp) -- (2054bp,92bp) -- (2054bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (1760bp,74bp) node {Postulates};
\end{scope}
\begin{scope}
  \pgfsetstrokecolor{black}
  \pgfsetstrokecolor{red}
  \draw (510bp,16bp) -- (510bp,92bp) -- (1458bp,92bp) -- (1458bp,16bp) -- cycle;
  \pgfsetstrokecolor{black}
  \draw (984bp,74bp) node {Common Notions};
\end{scope}
  % Edge: Pr1_1 -> PO1_3
  \draw [->] (1420bp,117bp) .. controls (1461bp,111bp) and (1518bp,104bp)  .. (1569bp,100bp) .. controls (1596bp,97bp) and (1793bp,101bp)  .. (1819bp,92bp) .. controls (1832bp,86bp) and (1845bp,77bp)  .. (1862bp,60bp);
  % Edge: Pr1_1 -> PO1_1
  \draw [->] (1414bp,112bp) .. controls (1430bp,107bp) and (1447bp,100bp)  .. (1462bp,92bp) .. controls (1474bp,85bp) and (1487bp,75bp)  .. (1505bp,60bp);
  % Edge: Pr1_1 -> D1_15
  \draw [->] (1307bp,119bp) .. controls (1251bp,113bp) and (1162bp,104bp)  .. (1086bp,100bp) .. controls (1054bp,98bp) and (537bp,102bp)  .. (506bp,92bp) .. controls (491bp,87bp) and (477bp,77bp)  .. (458bp,60bp);
  % Edge: Pr1_1 -> CN1_1
  \draw [->] (1364bp,100bp) .. controls (1364bp,90bp) and (1364bp,80bp)  .. (1364bp,60bp);
  % Edge: Pr1_2 -> PO1_1
  \draw [->] (1474bp,189bp) .. controls (1485bp,157bp) and (1503bp,103bp)  .. (1518bp,60bp);
  % Edge: Pr1_2 -> Pr1_1
  \draw [->] (1439bp,191bp) .. controls (1426bp,180bp) and (1412bp,167bp)  .. (1391bp,149bp);
  % Edge: Pr1_2 -> PO1_2
  \draw [->] (1483bp,190bp) .. controls (1507bp,159bp) and (1548bp,110bp)  .. (1569bp,100bp) .. controls (1595bp,87bp) and (1673bp,102bp)  .. (1701bp,92bp) .. controls (1714bp,86bp) and (1727bp,76bp)  .. (1744bp,60bp);
  % Edge: Pr1_2 -> PO1_3
  \draw [->] (1498bp,193bp) .. controls (1515bp,181bp) and (1536bp,166bp)  .. (1554bp,152bp) .. controls (1579bp,130bp) and (1577bp,113bp)  .. (1608bp,100bp) .. controls (1651bp,81bp) and (1775bp,108bp)  .. (1819bp,92bp) .. controls (1832bp,86bp) and (1845bp,77bp)  .. (1862bp,60bp);
  % Edge: Pr1_2 -> D1_15
  \draw [->] (1417bp,199bp) .. controls (1329bp,173bp) and (1138bp,120bp)  .. (972bp,100bp) .. controls (947bp,96bp) and (531bp,100bp)  .. (506bp,92bp) .. controls (492bp,86bp) and (478bp,76bp)  .. (459bp,60bp);
  % Edge: Pr1_2 -> CN1_1
  \draw [->] (1462bp,188bp) .. controls (1458bp,164bp) and (1449bp,127bp)  .. (1432bp,100bp) .. controls (1424bp,87bp) and (1412bp,75bp)  .. (1392bp,60bp);
  % Edge: Pr1_3 -> Pr1_2
  \draw [->] (1160bp,284bp) .. controls (1168bp,281bp) and (1177bp,278bp)  .. (1185bp,276bp) .. controls (1258bp,254bp) and (1343bp,236bp)  .. (1410bp,224bp);
  % Edge: Pr1_3 -> PO1_3
  \draw [->] (1159bp,284bp) .. controls (1167bp,281bp) and (1176bp,278bp)  .. (1185bp,276bp) .. controls (1336bp,239bp) and (1396bp,313bp)  .. (1533bp,240bp) .. controls (1603bp,201bp) and (1575bp,136bp)  .. (1647bp,100bp) .. controls (1681bp,82bp) and (1783bp,106bp)  .. (1819bp,92bp) .. controls (1832bp,86bp) and (1845bp,76bp)  .. (1862bp,60bp);
  % Edge: Pr1_3 -> D1_15
  \draw [->] (1094bp,278bp) .. controls (1045bp,227bp) and (931bp,109bp)  .. (908bp,100bp) .. controls (867bp,82bp) and (549bp,106bp)  .. (506bp,92bp) .. controls (492bp,86bp) and (478bp,76bp)  .. (459bp,60bp);
  % Edge: Pr1_3 -> CN1_1
  \draw [->] (1137bp,278bp) .. controls (1168bp,239bp) and (1234bp,161bp)  .. (1296bp,100bp) .. controls (1307bp,89bp) and (1321bp,76bp)  .. (1341bp,60bp);
  % Edge: Pr1_9 -> Pr1_3
  \draw [->] (1252bp,370bp) .. controls (1226bp,357bp) and (1192bp,340bp)  .. (1155bp,322bp);
  % Edge: Pr1_9 -> Pr1_1
  \draw [->] (1304bp,365bp) .. controls (1310bp,354bp) and (1317bp,340bp)  .. (1321bp,328bp) .. controls (1340bp,271bp) and (1353bp,203bp)  .. (1360bp,152bp);
  % Edge: Pr1_9 -> Pr1_8
  \draw [->] (1280bp,365bp) .. controls (1276bp,356bp) and (1272bp,346bp)  .. (1264bp,327bp);
  % Edge: Pr1_10 -> Pr1_1
  \draw [->] (1377bp,452bp) .. controls (1375bp,390bp) and (1369bp,233bp)  .. (1365bp,152bp);
  % Edge: Pr1_10 -> Pr1_9
  \draw [->] (1354bp,454bp) .. controls (1344bp,444bp) and (1332bp,432bp)  .. (1314bp,414bp);
  % Edge: Pr1_10 -> Pr1_4
  \draw [->] (1402bp,454bp) .. controls (1412bp,444bp) and (1424bp,432bp)  .. (1442bp,414bp);
  % Edge: Pr1_11 -> Pr1_3
  \draw [->] (983bp,370bp) .. controls (1009bp,357bp) and (1042bp,340bp)  .. (1079bp,321bp);
  % Edge: Pr1_11 -> Pr1_1
  \draw [->] (961bp,365bp) .. controls (981bp,340bp) and (1014bp,301bp)  .. (1049bp,276bp) .. controls (1132bp,215bp) and (1242bp,170bp)  .. (1317bp,142bp);
  % Edge: Pr1_11 -> Pr1_8
  \draw [->] (1000bp,377bp) .. controls (1049bp,366bp) and (1122bp,348bp)  .. (1185bp,328bp) .. controls (1190bp,326bp) and (1195bp,324bp)  .. (1209bp,319bp);
  % Edge: Pr1_11 -> D1_10
  \draw [->] (945bp,364bp) .. controls (948bp,306bp) and (947bp,164bp)  .. (864bp,100bp) .. controls (851bp,89bp) and (271bp,97bp)  .. (255bp,92bp) .. controls (241bp,86bp) and (228bp,76bp)  .. (210bp,60bp);
  % Edge: Pr1_12 -> PO1_3
  \draw [->] (1287bp,548bp) .. controls (1295bp,545bp) and (1304bp,543bp)  .. (1313bp,540bp) .. controls (1474bp,490bp) and (1661bp,558bp)  .. (1661bp,390bp) .. controls (1661bp,390bp) and (1661bp,390bp)  .. (1661bp,214bp) .. controls (1661bp,125bp) and (1750bp,147bp)  .. (1819bp,92bp) .. controls (1828bp,84bp) and (1839bp,75bp)  .. (1857bp,60bp);
  % Edge: Pr1_12 -> Pr1_10
  \draw [->] (1273bp,544bp) .. controls (1292bp,532bp) and (1315bp,517bp)  .. (1344bp,500bp);
  % Edge: Pr1_12 -> Pr1_8
  \draw [->] (1232bp,541bp) .. controls (1222bp,502bp) and (1208bp,426bp)  .. (1223bp,364bp) .. controls (1225bp,354bp) and (1229bp,345bp)  .. (1238bp,327bp);
  % Edge: Pr1_12 -> D1_10
  \draw [->] (1183bp,553bp) .. controls (1075bp,526bp) and (850bp,462bp)  .. (850bp,390bp) .. controls (850bp,390bp) and (850bp,390bp)  .. (850bp,214bp) .. controls (850bp,98bp) and (459bp,117bp)  .. (345bp,100bp) .. controls (306bp,93bp) and (293bp,107bp)  .. (255bp,92bp) .. controls (241bp,86bp) and (228bp,76bp)  .. (210bp,60bp);
  % Edge: Pr1_42 -> Pr1_23
  \draw [->] (1839bp,543bp) .. controls (1826bp,532bp) and (1808bp,519bp)  .. (1785bp,501bp);
  % Edge: Pr1_42 -> Pr1_41
  \draw [->] (1879bp,541bp) .. controls (1883bp,532bp) and (1886bp,522bp)  .. (1893bp,503bp);
  % Edge: Pr1_42 -> Pr1_10
  \draw [->] (1814bp,552bp) .. controls (1796bp,548bp) and (1776bp,543bp)  .. (1757bp,540bp) .. controls (1650bp,518bp) and (1526bp,499bp)  .. (1439bp,487bp);
  % Edge: Pr1_31 -> Pr1_38
  \draw [->] (1005bp,548bp) .. controls (997bp,545bp) and (988bp,543bp)  .. (979bp,540bp) .. controls (917bp,521bp) and (899bp,522bp)  .. (836bp,504bp) .. controls (830bp,502bp) and (823bp,500bp)  .. (807bp,495bp);
  % Edge: Pr1_44 -> Pr1_42
  \draw [->] (1433bp,636bp) .. controls (1442bp,633bp) and (1452bp,630bp)  .. (1461bp,628bp) .. controls (1604bp,595bp) and (1646bp,623bp)  .. (1790bp,592bp) .. controls (1797bp,591bp) and (1804bp,589bp)  .. (1821bp,583bp);
  % Edge: Pr1_44 -> Pr1_31
  \draw [->] (1330bp,642bp) .. controls (1278bp,630bp) and (1199bp,611bp)  .. (1132bp,592bp) .. controls (1125bp,590bp) and (1119bp,588bp)  .. (1102bp,583bp);
  % Edge: Pr1_44 -> Pr1_39
  \draw [->] (1387bp,628bp) .. controls (1387bp,620bp) and (1387bp,611bp)  .. (1387bp,592bp);
  % Edge: Pr1_44 -> Pr1_29
  \draw [->] (1324bp,648bp) .. controls (1242bp,640bp) and (1098bp,622bp)  .. (979bp,592bp) .. controls (973bp,591bp) and (967bp,589bp)  .. (952bp,584bp);
  % Edge: Pr1_44 -> Pr1_15
  \draw [->] (1434bp,636bp) .. controls (1443bp,633bp) and (1452bp,630bp)  .. (1461bp,628bp) .. controls (1525bp,608bp) and (1544bp,611bp)  .. (1609bp,592bp) .. controls (1614bp,590bp) and (1620bp,588bp)  .. (1635bp,583bp);
  % Edge: Pr1_44 -> Pr1_43
  \draw [->] (1423bp,633bp) .. controls (1443bp,621bp) and (1469bp,605bp)  .. (1499bp,587bp);
  % Edge: Pr1_44 -> PO1_5
  \draw [->] (1433bp,636bp) .. controls (1442bp,633bp) and (1452bp,630bp)  .. (1461bp,628bp) .. controls (1566bp,606bp) and (1854bp,653bp)  .. (1943bp,592bp) .. controls (1988bp,560bp) and (1996bp,533bp)  .. (1996bp,478bp) .. controls (1996bp,478bp) and (1996bp,478bp)  .. (1996bp,214bp) .. controls (1996bp,163bp) and (1996bp,105bp)  .. (1996bp,60bp);
  % Edge: Pr1_44 -> Pr1_3
  \draw [->] (1327bp,645bp) .. controls (1268bp,634bp) and (1186bp,616bp)  .. (1165bp,592bp) .. controls (1101bp,520bp) and (1104bp,399bp)  .. (1113bp,328bp);
  % Edge: Pr1_44 -> Pr1_23
  \draw [->] (1433bp,636bp) .. controls (1442bp,633bp) and (1452bp,630bp)  .. (1461bp,628bp) .. controls (1525bp,612bp) and (1713bp,641bp)  .. (1757bp,592bp) .. controls (1775bp,571bp) and (1773bp,538bp)  .. (1764bp,504bp);
  % Edge: Pr1_45 -> Pr1_44
  \draw [->] (1387bp,716bp) .. controls (1387bp,708bp) and (1387bp,699bp)  .. (1387bp,680bp);
  % Edge: Pr1_45 -> Pr1_42
  \draw [->] (1450bp,735bp) .. controls (1497bp,728bp) and (1561bp,713bp)  .. (1609bp,680bp) .. controls (1632bp,663bp) and (1623bp,644bp)  .. (1647bp,628bp) .. controls (1695bp,594bp) and (1718bp,608bp)  .. (1776bp,592bp) .. controls (1786bp,589bp) and (1796bp,586bp)  .. (1816bp,581bp);
  % Edge: Pr1_45 -> Pr1_29
  \draw [->] (1339bp,724bp) .. controls (1250bp,692bp) and (1058bp,622bp)  .. (953bp,583bp);
  % Edge: Pr1_45 -> Pr1_14
  \draw [->] (1423bp,721bp) .. controls (1443bp,709bp) and (1469bp,693bp)  .. (1499bp,675bp);
  % Edge: Pr1_45 -> Pr1_34
  \draw [->] (1327bp,732bp) .. controls (1265bp,721bp) and (1167bp,703bp)  .. (1084bp,680bp) .. controls (970bp,648bp) and (944bp,631bp)  .. (831bp,592bp) .. controls (826bp,590bp) and (821bp,588bp)  .. (806bp,583bp);
  % Edge: Pr1_45 -> Pr1_30
  \draw [->] (1444bp,729bp) .. controls (1496bp,718bp) and (1574bp,699bp)  .. (1642bp,680bp) .. controls (1648bp,678bp) and (1655bp,676bp)  .. (1671bp,671bp);
  % Edge: Pr1_45 -> Pr1_33
  \draw [->] (1322bp,738bp) .. controls (1173bp,730bp) and (805bp,706bp)  .. (683bp,680bp) .. controls (677bp,679bp) and (671bp,677bp)  .. (655bp,672bp);
  % Edge: Pr1_46 -> Pr1_11
  \draw [->] (707bp,638bp) .. controls (686bp,628bp) and (663bp,613bp)  .. (650bp,592bp) .. controls (619bp,538bp) and (611bp,500bp)  .. (650bp,452bp) .. controls (677bp,419bp) and (791bp,402bp)  .. (879bp,394bp);
  % Edge: Pr1_46 -> Pr1_3
  \draw [->] (721bp,633bp) .. controls (706bp,622bp) and (691bp,608bp)  .. (683bp,592bp) .. controls (657bp,535bp) and (642bp,498bp)  .. (683bp,452bp) .. controls (733bp,396bp) and (951bp,450bp)  .. (1017bp,416bp) .. controls (1051bp,397bp) and (1080bp,362bp)  .. (1102bp,327bp);
  % Edge: Pr1_46 -> Pr1_31
  \draw [->] (811bp,640bp) .. controls (857bp,628bp) and (923bp,609bp)  .. (979bp,592bp) .. controls (984bp,590bp) and (990bp,588bp)  .. (1005bp,583bp);
  % Edge: Pr1_46 -> Pr1_34
  \draw [->] (757bp,628bp) .. controls (757bp,620bp) and (757bp,611bp)  .. (757bp,592bp);
  % Edge: Pr1_46 -> Pr1_29
  \draw [->] (793bp,633bp) .. controls (813bp,621bp) and (839bp,605bp)  .. (869bp,587bp);
  % Edge: Pr1_46 -> D1_22
  \draw [->] (709bp,637bp) .. controls (598bp,596bp) and (331bp,498bp)  .. (331bp,478bp) .. controls (331bp,478bp) and (331bp,478bp)  .. (331bp,214bp) .. controls (331bp,109bp) and (217bp,151bp)  .. (131bp,92bp) .. controls (120bp,84bp) and (109bp,75bp)  .. (91bp,60bp);
  % Node: Pr1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1465bp,390bp) ellipse (59bp and 25bp);
  \draw (1465bp,380bp) node {Prop. 1.4};
\end{scope}
  % Node: Pr1_8
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1253bp,302bp) ellipse (59bp and 25bp);
  \draw (1253bp,292bp) node {Prop. 1.8};
\end{scope}
  % Node: Pr1_14
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1535bp,654bp) ellipse (65bp and 25bp);
  \draw (1535bp,644bp) node {Prop. 1.14};
\end{scope}
  % Node: Pr1_15
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1683bp,566bp) ellipse (65bp and 25bp);
  \draw (1683bp,556bp) node {Prop. 1.15};
\end{scope}
  % Node: Pr1_23
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1755bp,478bp) ellipse (65bp and 25bp);
  \draw (1755bp,468bp) node {Prop. 1.23};
\end{scope}
  % Node: Pr1_29
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (905bp,566bp) ellipse (65bp and 25bp);
  \draw (905bp,556bp) node {Prop. 1.29};
\end{scope}
  % Node: Pr1_30
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1721bp,654bp) ellipse (65bp and 25bp);
  \draw (1721bp,644bp) node {Prop. 1.30};
\end{scope}
  % Node: Pr1_31
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1053bp,566bp) ellipse (65bp and 25bp);
  \draw (1053bp,556bp) node {Prop. 1.31};
\end{scope}
  % Node: Pr1_33
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (609bp,654bp) ellipse (65bp and 25bp);
  \draw (609bp,644bp) node {Prop. 1.33};
\end{scope}
  % Node: Pr1_34
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (757bp,566bp) ellipse (65bp and 25bp);
  \draw (757bp,556bp) node {Prop. 1.34};
\end{scope}
  % Node: Pr1_38
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (757bp,478bp) ellipse (65bp and 25bp);
  \draw (757bp,468bp) node {Prop. 1.38};
\end{scope}
  % Node: Pr1_39
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1387bp,566bp) ellipse (65bp and 25bp);
  \draw (1387bp,556bp) node {Prop. 1.39};
\end{scope}
  % Node: Pr1_41
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1903bp,478bp) ellipse (65bp and 25bp);
  \draw (1903bp,468bp) node {Prop. 1.41};
\end{scope}
  % Node: Pr1_43
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1535bp,566bp) ellipse (65bp and 25bp);
  \draw (1535bp,556bp) node {Prop. 1.43};
\end{scope}
  % Node: Pr1_44
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1387bp,654bp) ellipse (65bp and 25bp);
  \draw (1387bp,644bp) node {Prop. 1.44};
\end{scope}
  % Node: Pr1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1364bp,126bp) ellipse (59bp and 25bp);
  \draw (1364bp,116bp) node {Prop. 1.1};
\end{scope}
  % Node: Pr1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1465bp,214bp) ellipse (59bp and 25bp);
  \draw (1465bp,204bp) node {Prop. 1.2};
\end{scope}
  % Node: Pr1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1117bp,302bp) ellipse (59bp and 25bp);
  \draw (1117bp,292bp) node {Prop. 1.3};
\end{scope}
  % Node: Pr1_9
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1291bp,390bp) ellipse (59bp and 25bp);
  \draw (1291bp,380bp) node {Prop. 1.9};
\end{scope}
  % Node: Pr1_10
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1378bp,478bp) ellipse (65bp and 25bp);
  \draw (1378bp,468bp) node {Prop. 1.10};
\end{scope}
  % Node: Pr1_11
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (943bp,390bp) ellipse (65bp and 25bp);
  \draw (943bp,380bp) node {Prop. 1.11};
\end{scope}
  % Node: Pr1_12
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1239bp,566bp) ellipse (65bp and 25bp);
  \draw (1239bp,556bp) node {Prop. 1.12};
\end{scope}
  % Node: Pr1_42
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1869bp,566bp) ellipse (65bp and 25bp);
  \draw (1869bp,556bp) node {Prop. 1.42};
\end{scope}
  % Node: Pr1_45
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1387bp,742bp) ellipse (65bp and 25bp);
  \draw (1387bp,732bp) node {Prop. 1.45};
\end{scope}
  % Node: Pr1_46
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (757bp,654bp) ellipse (65bp and 25bp);
  \draw (757bp,644bp) node {Prop. 1.46};
\end{scope}
  % Node: D1_22
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (122bp,60bp) -- (16bp,60bp) -- (16bp,24bp) -- (122bp,24bp) -- cycle;
  \draw (69bp,32bp) node {Def. 1.22};
\end{scope}
  % Node: D1_23
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (370bp,60bp) -- (264bp,60bp) -- (264bp,24bp) -- (370bp,24bp) -- cycle;
  \draw (317bp,32bp) node {Def. 1.23};
\end{scope}
  % Node: D1_10
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (246bp,60bp) -- (140bp,60bp) -- (140bp,24bp) -- (246bp,24bp) -- cycle;
  \draw (193bp,32bp) node {Def. 1.10};
\end{scope}
  % Node: D1_15
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (494bp,60bp) -- (388bp,60bp) -- (388bp,24bp) -- (494bp,24bp) -- cycle;
  \draw (441bp,32bp) node {Def. 1.15};
\end{scope}
  % Node: PO1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1574bp,60bp) -- (1474bp,60bp) -- (1474bp,24bp) -- (1574bp,24bp) -- cycle;
  \draw (1524bp,32bp) node {Post. 1.1};
\end{scope}
  % Node: PO1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1810bp,60bp) -- (1710bp,60bp) -- (1710bp,24bp) -- (1810bp,24bp) -- cycle;
  \draw (1760bp,32bp) node {Post. 1.2};
\end{scope}
  % Node: PO1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1928bp,60bp) -- (1828bp,60bp) -- (1828bp,24bp) -- (1928bp,24bp) -- cycle;
  \draw (1878bp,32bp) node {Post. 1.3};
\end{scope}
  % Node: PO1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1692bp,60bp) -- (1592bp,60bp) -- (1592bp,24bp) -- (1692bp,24bp) -- cycle;
  \draw (1642bp,32bp) node {Post. 1.4};
\end{scope}
  % Node: PO1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (2046bp,60bp) -- (1946bp,60bp) -- (1946bp,24bp) -- (2046bp,24bp) -- cycle;
  \draw (1996bp,32bp) node {Post. 1.5};
\end{scope}
  % Node: CN1_1
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1450bp,60bp) -- (1278bp,60bp) -- (1278bp,24bp) -- (1450bp,24bp) -- cycle;
  \draw (1364bp,32bp) node {Comm. Not. 1.1};
\end{scope}
  % Node: CN1_2
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1260bp,60bp) -- (1088bp,60bp) -- (1088bp,24bp) -- (1260bp,24bp) -- cycle;
  \draw (1174bp,32bp) node {Comm. Not. 1.2};
\end{scope}
  % Node: CN1_3
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (1070bp,60bp) -- (898bp,60bp) -- (898bp,24bp) -- (1070bp,24bp) -- cycle;
  \draw (984bp,32bp) node {Comm. Not. 1.3};
\end{scope}
  % Node: CN1_4
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (880bp,60bp) -- (708bp,60bp) -- (708bp,24bp) -- (880bp,24bp) -- cycle;
  \draw (794bp,32bp) node {Comm. Not. 1.4};
\end{scope}
  % Node: CN1_5
\begin{scope}
  \pgfsetstrokecolor{black}
  \draw (690bp,60bp) -- (518bp,60bp) -- (518bp,24bp) -- (690bp,24bp) -- cycle;
  \draw (604bp,32bp) node {Comm. Not. 1.5};
\end{scope}
%
\end{tikzpicture}

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