\html_math_output 0
\html_css_as_file 0
\html_be_strict true
-\author -195340706 "Georg Baum"
-\author 2047637253 "Guillaume Munch"
+\author -195340706 "Georg Baum"
+\author 5863208 "ab"
+\author 2047637253 "Guillaume Munch"
\end_header
\begin_body
This philosophy is explained in greater detail in the
\emph on
Introduction
+\change_inserted 5863208 1447554393
+
\emph default
+
+\change_unchanged
manual.
If you haven't read it yet, you need to.
Yes, we mean now.