\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}