\begin{frame}[t]
  \small
  
  \begin{definition}
  \alert{Parallel outermost} strategy always reduces all outermost redexes in parallel.
  \end{definition}
  
  \pause
  \begin{example}[cont'd]
  \vspace{-1.5ex}
  \GREEN{
  \begin{align*}
  \highlight{((0:(1+2))+(3+4))}+\highlight{(5+6)}
  &\onslide<3->{\parr \highlight{(0:((1+2)+(3+4)))+(1:1)}} \\
  &\onslide<4->{\to \highlight{0:(((1+2)+(3+4))+(1:1))}} \\
  &\onslide<5->{\to \highlight{((1+2)+(3+4))+(1:1)}} \\
  &\onslide<6->{\to 1:((\highlight{(1+2)}+\highlight{(3+4)})+1)} \\
  &\onslide<7->{\parr 1:(\highlight{(3+7)}+1)}\\
  &\onslide<8->{\to 1:\highlight{((1:0)+1)}}\\
  &\onslide<9->{\to \highlight{1:(1:(0+1))}} \\
  &\onslide<10->{\to \highlight{(1+1)}:\highlight{(0+1)}}\\
  &\onslide<11->{\parr 2:1}
  \end{align*}
  }
  \vspace{-3ex}
  \end{example}
\end{frame}