diff --git a/slides.tex b/slides.tex
index 80a189b..36b4381 100644
--- a/slides.tex
+++ b/slides.tex
@@ -33,6 +33,12 @@
 \setbeamertemplate{navigation symbols}{}
 \setbeamertemplate{headline}{}
 
+\definecolor{infoboxbg}{HTML}{f3e7ac}
+\definecolor{infoboxborder}{HTML}{de9758}
+
+\definecolor{alertboxbg}{HTML}{ffc6c7}
+\definecolor{alertboxborder}{HTML}{ea2f61}
+
 \newcommand{\cmark}{\color{OliveGreen}\ding{52}}
 \newcommand{\xmark}{\color{BrickRed}\ding{56}}
 
@@ -283,8 +289,10 @@ Segmentation fault.
 \end{frame}
 
 \begin{frame}{What does this imply?}
-    Your compiler actually generates codes for \alert{two machines}:\\
-    your processor and the DWARF VM\@.
+    \begin{center}
+        \textbf{Your compiler generates code for \alert{two machines}:\\
+        your processor and the DWARF VM\@.}
+    \end{center}
 
     \vfill{}
     \begin{columns}
@@ -310,6 +318,8 @@ Segmentation fault.
             \end{center}
         \end{column}
 
+        \pause{}
+
         \begin{column}{0.55\textwidth}
             \begin{itemize}
                 \item[$\implies$] \alert{Cumbersome} to generate for the
@@ -325,6 +335,7 @@ Segmentation fault.
 
         \end{column}
     \end{columns}
+    \vfill{}
 \end{frame}
 
 \begin{frame}
@@ -332,7 +343,7 @@ Segmentation fault.
 
     \only<2>{
         \begin{textblock*}{0.60\textwidth}[0.5,0.5](0.5\paperwidth,0.5\paperheight)%
-            \begin{tcolorbox}[halign=center, colframe=OliveGreen, colback=YellowGreen]
+            \begin{tcolorbox}[halign=center, colframe=infoboxborder, colback=infoboxbg]
                 In \prog{glibc}, \prog{lowlevellock.h}:
                 \alert{off by one error in unwinding data}.
 
@@ -343,7 +354,7 @@ Segmentation fault.
 
     \only<3->{
         \begin{textblock*}{0.90\textwidth}[0.5,0](0.5\paperwidth,0.10\paperheight)%
-            \begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
+            \begin{tcolorbox}[halign=center, colframe=alertboxborder, colback=alertboxbg]
                 \bf \LARGE
                 Complex \,\& \,slow
             \end{tcolorbox}
@@ -352,7 +363,7 @@ Segmentation fault.
 
     \only<4->{
         \begin{textblock*}{0.90\textwidth}[0.5,0](0.5\paperwidth,0.30\paperheight)%
-            \begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
+            \begin{tcolorbox}[halign=center, colframe=alertboxborder, colback=alertboxbg]
                 \LARGE
                 \textbf{Pervasive:}\\ relied upon by profilers, debuggers,
                 aaand\ldots{}
@@ -363,100 +374,100 @@ Segmentation fault.
             \end{tcolorbox}
         \end{textblock*}
     }
-\end{frame}
+    \end{frame}
 
-\newcommand{\LinusMailOne}{
-    ``Sorry, but last time was too f\dots painful. The whole (and
-    only) point of unwinders is to make debugging easy
-    when a bug occurs. But \alert{the dwarf unwinder had bugs}
-    itself, or \alert{our dwarf information had bugs}, and in either
-    case it actually turned several trivial bugs into a \alert{total
-    undebuggable hell}.''
-}
-\newcommand{\LinusMailTwo}{
-    ``If you can \alert{mathematically prove that the unwinder is
-    correct} — even in the presence of bogus and actively
-    incorrect unwinding information — and never ever
-    follows a bad pointer, \alert{I’ll reconsider}.''
-}
-\newcommand{\LinusSource}{
-    \hfill ---~Linus Torvalds, 2012
-}
-\begin{frame}
-    \begin{columns}
-        \begin{column}{0.75\textwidth}
-            \LinusMailOne{}
-        \end{column}
-        \begin{column}{0.25\textwidth}
-            \includegraphics[width=\textwidth]{img/roundtorvalds.png}
-        \end{column}
-    \end{columns}
-
-    \only<1-2>{
-        \vspace{1em}
-        \LinusSource{}
+    \newcommand{\LinusMailOne}{
+        ``Sorry, but last time was too f\dots painful. The whole (and
+        only) point of unwinders is to make debugging easy
+        when a bug occurs. But \alert{the dwarf unwinder had bugs}
+        itself, or \alert{our dwarf information had bugs}, and in either
+        case it actually turned several trivial bugs into a \alert{total
+        undebuggable hell}.''
     }
-
-    \vspace{1em}
-    \only<2>{
-        \begin{center}
-            \Large\bf
-            \alert{This is where we still are!}
-        \end{center}
+    \newcommand{\LinusMailTwo}{
+        ``If you can \alert{mathematically prove that the unwinder is
+        correct} — even in the presence of bogus and actively
+        incorrect unwinding information — and never ever
+        follows a bad pointer, \alert{I’ll reconsider}.''
     }
+    \newcommand{\LinusSource}{
+        \hfill ---~Linus Torvalds, 2012
+    }
+    \begin{frame}
+        \begin{columns}
+            \begin{column}{0.75\textwidth}
+                \LinusMailOne{}
+            \end{column}
+            \begin{column}{0.25\textwidth}
+                \includegraphics[width=\textwidth]{img/roundtorvalds.png}
+            \end{column}
+        \end{columns}
 
-    \only<3>{
-        \LinusMailTwo{}
+        \only<1-2>{
+            \vspace{1em}
+            \LinusSource{}
+        }
 
         \vspace{1em}
-        \LinusSource{}
-    }
-\end{frame}
+        \only<2>{
+            \begin{center}
+                \Large\bf
+                \alert{This is where we still are!}
+            \end{center}
+        }
+
+        \only<3>{
+            \LinusMailTwo{}
+
+            \vspace{1em}
+            \LinusSource{}
+        }
+    \end{frame}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\section{Correctness by construction:\\*\textbf{synthesis of unwinding tables}}
-\sectiontitleframe{}
+    \section{Correctness by construction:\\*\textbf{synthesis of unwinding tables}}
+    \sectiontitleframe{}
 
-\newcommand{\tblrowval}[4]{#1 & #2 & \only<2->{#3} & \only<2->{#4} \\}
-\newcommand{\blknote}[1]
+    \newcommand{\tblrowval}[4]{#1 & #2 & \only<2->{#3} & \only<2->{#4} \\}
+    \newcommand{\blknote}[1]
     {\begin{block}{}
             \centering\large
             #1
     \end{block}}
-\newcommand{\blklnote}[1]
+    \newcommand{\blklnote}[1]
     {\begin{block}{}
             \large
             #1
     \end{block}}
-\newcommand{\tblhl}{\rowcolor{Tan}}
+    \newcommand{\tblhl}{\rowcolor{Tan}}
 
-\begin{frame}
-    \newcommand{\firsttblrows}{
-\tblrowval{\hspace{-2ex}<{\bf foo}>:}{}{\textbf{CFA}}{\textbf{ra}}
-\rowonly<4>{\tblhl{}}  \tblrowval{push}{\%r15}{rsp+8}{c-8}
-\rowonly<5>{\tblhl{}} \tblrowval{push}{\%r14}{rsp+16}{c-8}
-\rowonly<6>{\tblhl{}} \tblrowval{mov}{\$0x3,\%eax}{rsp+24}{c-8}
-\rowonly<7>{\tblhl{}} \tblrowval{push}{\%r13}{rsp+24}{c-8}
-\tblrowval{push}{\%r12}{rsp+32}{c-8}
-\tblrowval{push}{\%rbp}{rsp+40}{c-8}
-\tblrowval{push}{\%rbx}{rsp+48}{c-8}
-\tblrowval{sub}{\$0x68,\%rsp}{rsp+56}{c-8}
-}
+    \begin{frame}
+        \newcommand{\firsttblrows}{
+            \tblrowval{\hspace{-2ex}<{\bf foo}>:}{}{\textbf{CFA}}{\textbf{ra}}
+            \rowonly<4>{\tblhl{}}  \tblrowval{push}{\%r15}{rsp+8}{c-8}
+            \rowonly<5>{\tblhl{}} \tblrowval{push}{\%r14}{rsp+16}{c-8}
+            \rowonly<6>{\tblhl{}} \tblrowval{mov}{\$0x3,\%eax}{rsp+24}{c-8}
+            \rowonly<7>{\tblhl{}} \tblrowval{push}{\%r13}{rsp+24}{c-8}
+            \tblrowval{push}{\%r12}{rsp+32}{c-8}
+            \tblrowval{push}{\%rbp}{rsp+40}{c-8}
+            \tblrowval{push}{\%rbx}{rsp+48}{c-8}
+            \tblrowval{sub}{\$0x68,\%rsp}{rsp+56}{c-8}
+        }
 
 
-    {\only<3>{
-		\begin{textblock*}{\textwidth}[0.5,0.5](0.5\paperwidth,0.5\paperheight)%
-			\begin{tcolorbox}[halign=center, colframe=red, colback=Lavender]
-				\large
-				\alert{\bf Assumptions}
-                \vspace{0.6em}
-                \begin{itemize}
-                    \item the compiler generated the unwinding data
-                    \item we have a reliable DWARF interpreter
-                \end{itemize}
+        {\only<3>{
+                \begin{textblock*}{\textwidth}[0.5,0.5](0.5\paperwidth,0.5\paperheight)%
+                    \begin{tcolorbox}[halign=center, colframe=alertboxborder, colback=alertboxbg]
+                        \large
+                        \alert{\bf Assumptions}
+                        \vspace{0.6em}
+                        \begin{itemize}
+                            \item the compiler generated the unwinding data
+                            \item we have a reliable DWARF interpreter
+                        \end{itemize}
 
-			\end{tcolorbox}
-		\end{textblock*}
+                    \end{tcolorbox}
+                \end{textblock*}
 	}}
     \only<-9>{
         \begin{table}
@@ -512,7 +523,7 @@ Segmentation fault.
     \end{itemize}
 
     \vspace{1em}
-    \begin{tcolorbox}[halign=center, colframe=OliveGreen, colback=YellowGreen]
+    \begin{tcolorbox}[halign=center, colframe=infoboxborder, colback=infoboxbg]
         \large
         Implemented on top of CMU's \prog{BAP}
     \end{tcolorbox}