@@ -412,7 +412,7 @@ function \texttt{f} must:
412412\item Cover all possible inputs
413413\item Be \emph{well-founded} --- i.e. by the time a sequence of
414414(possibly mutually) recursive calls reaches \texttt{f} again, it must
415−be possible to show that one its has decreased.
415+be possible to show that one of its arguments has decreased.
416416\item Not use any data types which are not \emph{strictly positive}
417417\item Not call any non-total functions
418418\end{itemize}