\begin{frame}
  \frametitle{Overlap}
  
  Overlapping redex occurrences:
  \begin{center}
  \includegraphics[height=.5\textheight]{../graphics/overlap}
  \end{center}
  \[\begin{array}{llcl}
  \rho_1:&  F(G(x,S(0)),y,H(z)) &\to&x\\
  \rho_2:&   G(H(x),S(y)) &\to  & y
  \end{array}\]
\end{frame}