\section{Well-founded Monotone Algebras}
\themex{Well-founded Monotone Algebras}