@@ -412,7 +412,7 @@ function \texttt{f} must:
412\item Cover all possible inputs
412\item Cover all possible inputs
413\item Be \emph{well-founded} --- i.e. by the time a sequence of
413\item Be \emph{well-founded} --- i.e. by the time a sequence of
414(possibly mutually) recursive calls reaches \texttt{f} again, it must
414(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.
416\item Not use any data types which are not \emph{strictly positive}
416\item Not use any data types which are not \emph{strictly positive}
417\item Not call any non-total functions
417\item Not call any non-total functions
418\end{itemize}
418\end{itemize}