diff --git a/doc/report/Makefile b/doc/report/Makefile
index eb08d025040ad626f53d2537a0a80a78ecbdada9..b896579749be6bf2e9408ceacaf76530bf6747cd 100644
--- a/doc/report/Makefile
+++ b/doc/report/Makefile
@@ -1,4 +1,4 @@
-TEX_SOURCES = report.tex abstract.tex endpoints.tex applications.tex
+TEX_SOURCES = report.tex abstract.tex intro.tex endpoints.tex applications.tex
 
 report.pdf: $(TEX_SOURCES) references.bib
 	chronic pdflatex $<
diff --git a/doc/report/intro.tex b/doc/report/intro.tex
new file mode 100644
index 0000000000000000000000000000000000000000..8f32547465ed30a8ed4515570ef39b66fd9fca62
--- /dev/null
+++ b/doc/report/intro.tex
@@ -0,0 +1,26 @@
+\section{Introduction}
+
+To tackle the vast array of mathematical publications, various ways of
+\emph{computerizing} mathematical knowledge have been researched and
+developed. As it is already difficult for human mathematicians to keep
+even a subset of all mathematical knowledge in their mind, a hope is
+that computerization will yield great improvement to mathematical (and
+really any) research by making the results of all collected research
+readily available~\cite{onebrain}.
+
+One research topic in this field is the idea of a \emph{tetrapodal
+search} that combines four distinct areas of mathematical knowledge
+and data. These four kinds being (1)~the actual formulae as \emph{symbolic
+knowledge}, (2)~examples and concrete objects as \emph{concrete knowledge},
+(3)~names and comments as \emph{narrative knowledge} and finally
+(4)~identifiers, references and their relationships, referred to as
+\emph{organizational knowledge}~\cite{tetra}.
+
+Tetrapodal search wants to provide a unified search engine that
+indexes each of those four different subsets of mathematical
+knowledge.  Because all four kinds of knowledge are inherently
+different in their structure, tetrapodal search proposes that each
+kind of mathematical knowledge should be made available in a storage
+and index backend that fits exactly with the kind of data it is
+storing. With all four areas available for querying, tetrapodal search
+wants to then combine the four indexes into a single query interface.
diff --git a/doc/report/references.bib b/doc/report/references.bib
index dede40a91b497950f843b0a6136451ba7b1608e1..54ff2c9472776e4fa5b58ae1402082fd8dd792e9 100644
--- a/doc/report/references.bib
+++ b/doc/report/references.bib
@@ -55,14 +55,7 @@
     organization={Springer}
 }
 
-@online{tetra,
-    title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
-    author={Bercic, Katja Kohlhase, Michael Rabe, Florian},
-    urldate = {2020-06-16},
-    url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
-}
-
-@article{mmtbase,
+@article{onebrain,
     title={Mathematical knowledge management: transcending the one-brain-barrier with theory graphs},
     author={Kohlhase, Michael},
     journal={European Mathematical Society (EMS) Newsletter},
@@ -71,6 +64,13 @@
     year={2014}
 }
 
+@online{tetra,
+    title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
+    author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
+    urldate = {2020-06-16},
+    url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
+}
+
 @book{owl,
     title={A semantic web primer},
     author={Antoniou, Grigoris and Van Harmelen, Frank},
diff --git a/doc/report/report.tex b/doc/report/report.tex
index b4724bb5a7046d2027c3bc5bca7573bef0be8beb..a32c44118bad001602e4af855908330b193bbe85 100644
--- a/doc/report/report.tex
+++ b/doc/report/report.tex
@@ -42,6 +42,7 @@
   expecting a real report just yet. ---
 }
 
+\input{intro.tex}
 \input{endpoints.tex}
 \input{applications.tex}