\begin{frame}
  Frequently used are \emph{polynomial interpretations} over $\nat$:
  \begin{itemize}
    \item $>$ as usual on $\nat$ and ${\succeq} := {\ge}$
    \item the interpretations $\interpret{f}$ are polynomials
  \end{itemize}
  \pause
  \bigskip
  We will see some examples\ldots
\end{frame}