diff --git a/docs/userGuide/userGuide.tex b/docs/userGuide/userGuide.tex
index e3b3dd84a54240a3126475c768b8d63ce9f714bc..b5296d2c43bd4c9239b156343db08f8005c68406 100644
--- a/docs/userGuide/userGuide.tex
+++ b/docs/userGuide/userGuide.tex
@@ -194,11 +194,30 @@ pdfauthor={I am the Author} % author
 
 \lipsum[1-14]
 
+\chapter{Introspection}
+
+introspect algorithms
+introspect algorithms automaton::
+introspect overloads automaton::determinize::Determinize
+introspect datatypes
+introspect casts
+introspect casts :from int
+introspect casts :to int
+
 \appendix
 
 \chapter{Examples}
 
-\lipsum[1-15]
+\section{Interactive}
+
+execute cli::builtin::ReadFile ../examples2/automaton/DFA.txt | string::Parse automaton::Automaton \^{} -
+
+\section{Command line execution}
+
+./aql2 -p input=../examples2/automaton/DFA.txt -q 'execute cli::builtin::ReadFile \#input > \$in' -q 'execute string::Parse automaton::Automaton \^{} \$in'
+
+\noindent
+./aql2 -q 'execute automaton::simplify::efficient::EpsilonRemoverIncoming <\#stdin | automaton::determinize::Determinize - | automaton::simplify::Trim - | automaton::simplify::Minimize - | automaton::simplify::Normalize - >\#stdout'
 
 \backmatter