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