report: final review

doc/report/towards.tex

@@ -4,15 +4,15 @@
 Before finishing up this report with a general conclusion, we want to
 first dedicate a section to thoughts on the upper level ontology and
 ontology design in general. The contribution of this section is
-primarily that of potential for future work. At this point in time,
-the ideas formulated here lack concrete implementations.
+primarily of of potential for future work. At this point in time, the
+ideas formulated here lack concrete implementations.
 
 \subsection{The Challenge of Universality}
 
 ULO aims to be a universal language for capturing organizational
-mathematical knowledge.  An outstandingly grand task.  ULO in
-particular aims at nothing less than a universal schema on top of all
-collected (organizational) mathematical knowledge.
+mathematical knowledge.  An outstandingly difficult task.  ULO is
+aiming at nothing less than a universal schema on top of all collected
+(organizational) mathematical knowledge.
 
 The current version of ULO already yields worthwhile results when
 formal libraries are exported to ULO~triplets. Especially when it
@@ -61,7 +61,7 @@ that we can have both, we can have our cake and eat it it too.
 Current exports investigated in this report take the approach of
 taking some library of formal knowledge and then converting that
 library directly into ULO triplets. Perhaps a better approach would be
-to use a \emph{layered architecture} instead. The idea is sketched out
+to use a layered architecture instead. The idea is sketched out
 in Figure~\ref{fig:love}. In this layered architecture, we would first
 convert a given third party library into triplets defined by an
 intermediate ontology. These triplets could then be compiled to