18/129
\begin{frame}
  \frametitle{A Famous Term}

  \begin{itemize}
    \item 
    A famous term with a famous reduction cycle:
    \begin{align*}
      SII(SII) 
      &\pause\to I(SII)(I(SII))\\
      &\pause\to SII(I(SII))\\
      &\pause\to SII(SII)
    \end{align*}
  \pause
  
  \item
    Let $D = SII$.
    
    Given an arbitrary argument, $D$ copies it and 
    applies it to itself:
    \begin{align*}
    Dx =   SIIx
      &\pause\to Ix(Ix)\\
      &\pause\to x(Ix) \\
      &\pause\to xx
    \end{align*}
    \end{itemize}
\end{frame}