\begin{frame}
  \small
  
  \begin{remark}
  \smallskip
  Numerous terminating TRSs are not polynomially terminating.
  \end{remark}
  
  \medskip
  
  \begin{block}<2->{}
  \begin{center}
  \begin{tikzpicture}
  \draw[fill=white,rounded corners] (0,0)
   node[anchor=south west]{terminating TRSs} rectangle (11,6);
  \draw[rounded corners] (2,1)
   node[anchor=south west]{polynomial interpretations} rectangle (7,4);
  \end{tikzpicture}
  \end{center}
  \end{block}
\end{frame}