\chapter{Iteration Algebras and Monads}
\section{Elgot Algebras}
\section{Pre-Elgot Monads}