\begin{frame}[t]
  \small
  
  \begin{definition}
  \alert{Leftmost outermost} strategy always reduces the leftmost of the outermost redexes.
  \end{definition}
  
  \pause
  \begin{example}[cont'd]
  \vspace{-3ex}
  \GREEN{
  \begin{align*}
  \highlight{((0:(1+2))+(3+4))}+(5+6)
  &\onslide<3->{\to \highlight{(0:((1+2)+(3+4)))+(5+6)}} \\
  &\onslide<4->{\to \highlight{0:(((1+2)+(3+4))+(5+6))}} \\
  &\onslide<5->{\to (\highlight{(1+2)}+(3+4))+(5+6)}\\
  &\onslide<6->{\to (3+\highlight{(3+4)})+(5+6)} \\
  &\onslide<7->{\to \highlight{(3+7)}+(5+6)}\\
  &\onslide<8->{\to \highlight{(1:0)+(5+6)}}\\
  &\onslide<9->{\to 1:(0+\highlight{(5+6)})} \\
  &\onslide<10->{\to 1:\highlight{(0+(1:1))}}\\
  &\onslide<11->{\to \highlight{1:(1:(0+1))}}\\
  &\onslide<12->{\to \highlight{(1+1)}:(0+1)} \\
  &\onslide<13->{\to 2:\highlight{(0+1)}}\\
  &\onslide<14->{\to 2:1}
  \end{align*}
  }
  \vspace{-4.8ex}
  \end{example}
\end{frame}