1 files changed, 6 insertions, 0 deletions
diff --git a/intro.tex b/intro.tex
index 20697ad..0a41d8f 100644
--- a/intro.tex
+++ b/intro.tex
@@ -1,2 +1,8 @@
 \setcounter{page}{1}
 \section{Introduction}
+TODO: mention symbolic execution\\
+TODO: mention \gls{apr}
+
+This work's main contributions are:\begin{enumerate}
+  \item A tool named \textsc{Psychic}
+\end{enumerate}