diff --git a/doc/report/abstract.tex b/doc/report/abstract.tex
index 5623ab1629fb243ffd33860569af816e96263837..1c73139e2aa0d55c404545d12a2f730f69447fb6 100644
--- a/doc/report/abstract.tex
+++ b/doc/report/abstract.tex
@@ -1,14 +1,13 @@
-Organizational data extracted from formal libraries has the potential
-to be usable in the design of a universal search engine for
-mathematical knowledge. However, it is not enough to just extract
-formal knowledge into a unified format, it is also necessary for this
-information to be available for querying.
+Organizational knowledge extracted from existing formal libraries has
+the potential to be usable in the design of a universal search engine
+for mathematical research. However, it is not enough to merely
+collect and export formal knowledge in a unified format, it is also
+necessary for this information to be available for querying.
 
-\emph{ulo-storage} aims to lay out the groundwork to do just that. In
-this project, we collected various pieces of exported data into a
-centralized and efficient store, made that store available as a an
-endpoint on a local network and then evaluated different ways of
-querying that store. In addition, implementation of some exemplary
-queries on top of the created infrastructure resulted in insight on
-how a unified format for organizational mathematical knowledge could
-be extended.
+\emph{ulo-storage} aims to lay out the groundwork for this task.
+We collected various pieces of exported organizational knowledge into
+a centralized and efficient store, made that store available on the
+network and then evaluated different ways of querying that store. In
+addition, implementations of some exemplary queries on top of our
+created infrastructure resulted in insights on how unified schemas
+for organizational mathematical knowledge could be extended.