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