diff --git a/Bookshelf/Combinator/Aviary.html b/Bookshelf/Combinator/Aviary.html
new file mode 100644
index 0000000..f131f9c
--- /dev/null
+++ b/Bookshelf/Combinator/Aviary.html
@@ -0,0 +1,58 @@
+
+
+
+
+
+ Bookshelf.Combinator.Aviary
+
+
+
+
+ Bookshelf.Combinator.Aviary
+
+ A list of birds as defined in To Mock a Mockingbird.
+ Refer to Bookshelf/Combinator/Aviary
+ for implementation examples.
+
+
+ - Bald Eagle: \(\hat{E}xy_1y_2y_3z_1z_2z_3 = x(y_1y_2y_3)(z_1z_2z_3)\)
+ - Becard: \(B_3xyzw = x(y(zw))\)
+ - Blackbird: \(B_1xyzw = x(yzw)\)
+ - Bluebird: \(Bxyz = x(yz)\)
+ - Bunting: \(B_2xyzwv = x(yzwv)\)
+ - Cardinal Once Removed: \(C^*xyzw = xywz\)
+ - Cardinal: \(Cxyz = xzy\)
+ - Converse Warbler: \(W'xy = yxx\)
+ - Dickcissel: \(D_1xyzwv = xyz(wv)\)
+ - Double Mockingbird: \(M_2xy = xy(xy)\)
+ - Dove: \(Dxyzw = xy(zw)\)
+ - Dovekie: \(D_2xyzwv = x(yz)(wv)\)
+ - Eagle: \(Exyzwv = xy(zwv)\)
+ - Finch Once Removed: \(F^*xyzw = xwzy\)
+ - Finch: \(Fxyz = zyx\)
+ - Goldfinch: \(Gxyzw = xw(yz)\)
+ - Hummingbird: \(Hxyz = xyzy\)
+ - Identity Bird: \(Ix = x\)
+ - Kestrel: \(Kxy = x\)
+ - Lark: \(Lxy = x(yy)\)
+ - Mockingbird: \(Mx = xx\)
+ - Owl: \(Oxy = y(xy)\)
+ - Phoenix: \(\Phi xyzw = x(yw)(zw)\)
+ - Psi Bird: \(\Psi xyzw = x(yz)(yw)\)
+ - Quacky Bird: \(Q_4xyz = z(yx)\)
+ - Queer Bird: \(Qxyz = y(xz)\)
+ - Quirky Bird: \(Q_3xyz = z(xy)\)
+ - Quixotic Bird: \(Q_1xyz = x(zy)\)
+ - Quizzical Bird: \(Q_2xyz = y(zx)\)
+ - Robin Once Removed: \(R^*xyzw = xzwy\)
+ - Robin: \(Rxyz = yzx\)
+ - Sage Bird: \(\Theta x = x(\Theta x)\)
+ - Starling: \(Sxyz = xz(yz)\)
+ - Thrush: \(Txy = yx\)
+ - Turing Bird: \(Uxy = y(xxy)\)
+ - Vireo Once Removed: \(V^*xyzw = xwyz\)
+ - Vireo: \(Vxyz = zxy\)
+ - Warbler: \(Wxy = xyy\)
+
+
+
diff --git a/Bookshelf/Combinator/Aviary.tex b/Bookshelf/Combinator/Aviary.tex
deleted file mode 100644
index 8529a85..0000000
--- a/Bookshelf/Combinator/Aviary.tex
+++ /dev/null
@@ -1,57 +0,0 @@
-\documentclass{article}
-
-\input{preamble}
-
-\begin{document}
-
-\newcommand{\bird}[1]{\item{\makebox[5cm][l]{\textbf{#1:}}}}
-
-\section*{Aviary}%
-\label{sec:aviary}
-
-A list of birds as defined in \textit{To Mock a Mockingbird}.
-Refer to \href{../../../../Bookshelf/Combinator/Aviary.html}{Bookshelf/Combinator/Aviary}
-for implementation examples.
-
-\begin{itemize}
- \bird{Bald Eagle} $\hat{E}xy_1y_2y_3z_1z_2z_3 = x(y_1y_2y_3)(z_1z_2z_3)$
- \bird{Becard} $B_3xyzw = x(y(zw))$
- \bird{Blackbird} $B_1xyzw = x(yzw)$
- \bird{Bluebird} $Bxyz = x(yz)$
- \bird{Bunting} $B_2xyzwv = x(yzwv)$
- \bird{Cardinal Once Removed} $C^*xyzw = xywz$
- \bird{Cardinal} $Cxyz = xzy$
- \bird{Converse Warbler} $W'xy = yxx$
- \bird{Dickcissel} $D_1xyzwv = xyz(wv)$
- \bird{Double Mockingbird} $M_2xy = xy(xy)$
- \bird{Dove} $Dxyzw = xy(zw)$
- \bird{Dovekie} $D_2xyzwv = x(yz)(wv)$
- \bird{Eagle} $Exyzwv = xy(zwv)$
- \bird{Finch Once Removed} $F^*xyzw = xwzy$
- \bird{Finch} $Fxyz = zyx$
- \bird{Goldfinch} $Gxyzw = xw(yz)$
- \bird{Hummingbird} $Hxyz = xyzy$
- \bird{Identity Bird} $Ix = x$
- \bird{Kestrel} $Kxy = x$
- \bird{Lark} $Lxy = x(yy)$
- \bird{Mockingbird} $Mx = xx$
- \bird{Owl} $Oxy = y(xy)$
- \bird{Phoenix} $\Phi xyzw = x(yw)(zw)$
- \bird{Psi Bird} $\Psi xyzw = x(yz)(yw)$
- \bird{Quacky Bird} $Q_4xyz = z(yx)$
- \bird{Queer Bird} $Qxyz = y(xz)$
- \bird{Quirky Bird} $Q_3xyz = z(xy)$
- \bird{Quixotic Bird} $Q_1xyz = x(zy)$
- \bird{Quizzical Bird} $Q_2xyz = y(zx)$
- \bird{Robin Once Removed} $R^*xyzw = xzwy$
- \bird{Robin} $Rxyz = yzx$
- \bird{Sage Bird} $\Theta x = x(\Theta x)$
- \bird{Starling} $Sxyz = xz(yz)$
- \bird{Thrush} $Txy = yx$
- \bird{Turing Bird} $Uxy = y(xxy)$
- \bird{Vireo Once Removed} $V^*xyzw = xwyz$
- \bird{Vireo} $Vxyz = zxy$
- \bird{Warbler} $Wxy = xyy$
-\end{itemize}
-
-\end{document}
diff --git a/Bookshelf/Real/Sequence.tex b/Bookshelf/Real/Sequence.tex
index 149244f..4dfcc3d 100644
--- a/Bookshelf/Real/Sequence.tex
+++ b/Bookshelf/Real/Sequence.tex
@@ -2,8 +2,9 @@
\input{preamble}
-\newcommand{\linkA}[1]{\href{../../../Bookshelf/Real/Sequence/Arithmetic.html\##1}{#1}}
-\newcommand{\linkG}[1]{\href{../../../Bookshelf/Real/Sequence/Geometric.html\##1}{#1}}
+\newcommand{\ns}{Real}
+\newcommand{\linkA}[1]{\href{../Sequence/Arithmetic.html\#\ns.#1}{\ns.#1}}
+\newcommand{\linkG}[1]{\href{../Sequence/Geometric.html\#\ns.#1}{\ns.#1}}
\begin{document}
@@ -16,7 +17,7 @@ $$\sum_{i=0}^n a_i = \frac{(n + 1)(a_0 + a_n)}{2}.$$
\begin{proof}
- \linkA{Real.Arithmetic.sum\_recursive\_closed}
+ \linkA{Arithmetic.sum\_recursive\_closed}
\end{proof}
@@ -29,7 +30,7 @@ $$\sum_{i=0}^n a_i = \frac{a_0(1 - r^{n+1})}{1 - r}.$$
\begin{proof}
- \linkG{Real.Geometric.sum\_recursive\_closed}
+ \linkG{Geometric.sum\_recursive\_closed}
\end{proof}
diff --git a/Exercises/Apostol/Chapter_I_3.tex b/Exercises/Apostol/Chapter_I_3.tex
index d992d7d..deebe97 100644
--- a/Exercises/Apostol/Chapter_I_3.tex
+++ b/Exercises/Apostol/Chapter_I_3.tex
@@ -3,7 +3,8 @@
\input{preamble}
-\newcommand{\link}[1]{\href{../../../../Exercises/Apostol/Chapter_I_3.html\##1}{#1}}
+\newcommand{\ns}{Exercises.Apostol.Chapter\_I\_3.Real}
+\newcommand{\link}[1]{\href{../Chapter_I_3.html\#\ns.#1}{\ns.#1}}
\begin{document}
@@ -15,7 +16,7 @@ is, there is a real number $L$ such that $L = \inf{S}$.
\begin{proof}
- \link{Real.exists\_isGLB}
+ \link{exists\_isGLB}
\end{proof}
@@ -26,7 +27,7 @@ For every real $x$ there exists a positive integer $n$ such that $n > x$.
\begin{proof}
- \link{Real.exists\_pnat\_geq\_self}
+ \link{exists\_pnat\_geq\_self}
\end{proof}
@@ -38,7 +39,7 @@ integer $n$ such that $nx > y$.
\begin{proof}
- \link{Real.exists\_pnat\_mul\_self\_geq\_of\_pos}
+ \link{exists\_pnat\_mul\_self\_geq\_of\_pos}
\end{proof}
@@ -51,7 +52,7 @@ for every integer $n \geq 1$, then $x = a$.
\begin{proof}
- \link{Real.forall\_pnat\_leq\_self\_leq\_frac\_imp\_eq}
+ \link{forall\_pnat\_leq\_self\_leq\_frac\_imp\_eq}
\end{proof}
@@ -69,8 +70,8 @@ Let $h$ be a given positive number and let $S$ be a set of real numbers.
\begin{proof}
\begin{enumerate}[(a)]
- \item \link{Real.sup\_imp\_exists\_gt\_sup\_sub\_delta}
- \item \link{Real.inf\_imp\_exists\_lt\_inf\_add\_delta}
+ \item \link{sup\_imp\_exists\_gt\_sup\_sub\_delta}
+ \item \link{inf\_imp\_exists\_lt\_inf\_add\_delta}
\end{enumerate}
\end{proof}
@@ -91,8 +92,8 @@ $$C = \{a + b : a \in A, b \in B\}.$$
\begin{proof}
\begin{enumerate}[(a)]
- \item \link{Real.sup\_minkowski\_sum\_eq\_sup\_add\_sup}
- \item \link{Real.inf\_minkowski\_sum\_eq\_inf\_add\_inf}
+ \item \link{sup\_minkowski\_sum\_eq\_sup\_add\_sup}
+ \item \link{inf\_minkowski\_sum\_eq\_inf\_add\_inf}
\end{enumerate}
\end{proof}
@@ -108,7 +109,7 @@ $$\sup{S} \leq \inf{T}.$$
\begin{proof}
- \link{Real.forall\_mem\_le\_forall\_mem\_imp\_sup\_le\_inf}
+ \link{forall\_mem\_le\_forall\_mem\_imp\_sup\_le\_inf}
\end{proof}
diff --git a/Exercises/Enderton/Chapter0.tex b/Exercises/Enderton/Chapter0.tex
index 56da410..8a5a44d 100644
--- a/Exercises/Enderton/Chapter0.tex
+++ b/Exercises/Enderton/Chapter0.tex
@@ -2,7 +2,8 @@
\input{preamble}
-\newcommand{\link}[1]{\href{../../../../Exercises/Enderton/Chapter0.html\##1}{#1}}
+\newcommand{\ns}{Exercises.Enderton.Chapter0}
+\newcommand{\link}[1]{\href{../Chapter0.html\#\ns.#1}{\ns.#1}}
\begin{document}