diff --git a/README.md b/README.md
index cc68076..87fc795 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# lathalesians
+# LaThalesians
 
 The LaThalesians library comprises a heterogeneous collection of LaTeX packages,
 which facilitate the type-setting of the Thalesians’ work in mathematics,
diff --git a/doc/lathalesians.pdf b/doc/lathalesians.pdf
index e8bf873..3054595 100644
Binary files a/doc/lathalesians.pdf and b/doc/lathalesians.pdf differ
diff --git a/doc/lathalesians.tex b/doc/lathalesians.tex
index 0d8f65d..a9e9ea4 100644
--- a/doc/lathalesians.tex
+++ b/doc/lathalesians.tex
@@ -17,13 +17,13 @@
 
 \usepackage[usecolour=true]{lathalesians-commons}
 \usepackage[usegeometry=true]{lathalesians-formatting}
-\usepackage{lathalesians-theorems}
+\usepackage{lathalesians-font}
 \usepackage{lathalesians-code}
 \usepackage{lathalesians-analysis}
 \usepackage{lathalesians-linear}
 \usepackage{lathalesians-probability}
 \usepackage{lathalesians-categories}
-\usepackage{lathalesians-font}
+\usepackage{lathalesians-theorems}
 \usepackage{lathalesians-domains}
 \usepackage{lathalesians-computability}
 
@@ -896,4 +896,4 @@ \section{Bibliography: \program{lathalesians-bibliography}}
 \printindex{general}{Subject index}
 \printindex{authors}{Index of authors}
 
-\end{document}
\ No newline at end of file
+\end{document} 
\ No newline at end of file
diff --git a/lathalesians-font.sty b/lathalesians-font.sty
index 1524eb2..bb3bc5f 100644
--- a/lathalesians-font.sty
+++ b/lathalesians-font.sty
@@ -1,8 +1,10 @@
 \NeedsTeXFormat{LaTeX2e}[1994/06/01]
 \ProvidesPackage{lathalesians-font}[2016/09/24 LaThalesians Font]
 
-% txfonts must be required before mathpazo:
-\RequirePackage{txfonts}
+% txfonts must be required before mathpazo, and amsthm, should one decide to
+% use it, must be required before txfonts. Therefore we shall require it here,
+% just in case, to spare our users the confusion.
+\RequirePackage{amsmath,amsthm,txfonts}
 
 % txfonts introduces some domain theory symbols. We require this package here
 % so that it doesn't matter whether this package is loaded before or after