diff --git a/slides/40_cesasme/main.tex b/slides/40_cesasme/main.tex
index 6a1871e..bb917d7 100644
--- a/slides/40_cesasme/main.tex
+++ b/slides/40_cesasme/main.tex
@@ -17,22 +17,57 @@ loop:
     \end{minipage}\hfill\vrule\hfill
     \begin{minipage}{0.38\textwidth}
         \begin{tabular}{l r}
-            \llvmmca{}: & 1.5 cycles \\
-            \iaca{}: & 2.0 cycles \\
-            \ithemal{}: & 2.0 cycles \\
-            \uica{}: & 3.0 cycles \\
+            \llvmmca{}: & 1.5 cycles/iter \\
+            \iaca{}: & 2.0 cycles/iter \\
+            \ithemal{}: & 2.0 cycles/iter \\
+            \uica{}: & 3.0 cycles/iter \\
         \end{tabular}
+        \vspace{1em}
+        \begin{center}
+            \only<1>{\alert{\textbf{Which tool is correct?}}}
+            \only<2->{\textbf{Which tool is correct?}}
+        \end{center}
     \end{minipage}
 
     \vfill{}
 
+    \pause{}
     \begin{center}
-        \textbf{Which prediction is correct?} \quad
-        \alert{\textbf{We lack a sound baseline!}}
+        \textbf{We lack:}\\
+        \hfill\textbf{\alert{Benchmarks}}\hfill\textbf{\alert{Context}}\hfill~
     \end{center}
 \end{frame}
 
-\begin{frame}{Lifting predictions}
+\begin{frame}{Generating benchmarks}
+    We need benchmarks\ldots \\
+    \vspace{1em}
+    {\def\arraystretch{1.2}
+        \newcommand{\litem}{\usebeamertemplate*{itemize item}\hspace{-0.5em}}
+    \begin{tabular}{rl l}
+        \litem{} & representative of scientific computation &
+            \visible<2->{\alert{Polybench}}\\
+        \litem{} & infinite, L1-resident loops &
+            \visible<3->{\alert{``microkernelification''} + verify}
+            \\
+        \litem{} & without control flow &
+            \visible<4->{\alert{Polybench}} \\
+        \litem{} & stressing diverse resources &
+            \visible<5->{\alert{Polyhedral transformations}}
+            \\
+         & & \visible<5->{+ \alert{unrolling} + \alert{compiler
+                 options}} \\
+        \litem{} & plenty of them &
+            \visible<6->{\alert{Even more} of all those $\nnearrow$} \\
+    \end{tabular}
+    \let\litem\undefined
+    }
+
+    \begin{center}
+        \visible<6->{\textbf{\leadsto{} yields \alert{~3500} benchmarks}}
+    \end{center}
+\end{frame}
+
+\begin{frame}{In-context baseline: lifting predictions}
     \begin{center}
         \textbf{Consider instead $\kerK$ = \alert{full kernel}, with its
         context\\
@@ -58,37 +93,10 @@ loop:
             \end{itemize}
     \end{itemize}
 
+    \vfill
     \pause
     \begin{center}
-        \textbf{Now we have a baseline.}\\
-        \textit{\color[HTML]{6e7581}(And \llvmmca{} was correct.)}
-    \end{center}
-\end{frame}
-
-\begin{frame}{Generating benchmarks}
-    We need benchmarks\ldots \\
-    \vspace{1em}
-    {\def\arraystretch{1.2}
-        \newcommand{\litem}{\usebeamertemplate*{itemize item}\hspace{-0.5em}}
-    \begin{tabular}{rl l}
-        \litem{} & representative of scientific computation &
-            \visible<2->{\alert{Polybench}}\\
-        \litem{} & infinite, L1-resident loops &
-            \visible<3->{\alert{``microkernelification''} + verify}
-            \\
-        \litem{} & stressing diverse resources &
-            \visible<4->{\alert{Polyhedral transformations}}
-            \\
-         & & \visible<4->{+ \alert{unrolling} + \alert{compiler
-                 options}} \\
-        \litem{} & plenty of them &
-            \visible<5->{\alert{Even more} of all those $\nnearrow$} \\
-    \end{tabular}
-    \let\litem\undefined
-    }
-
-    \begin{center}
-        \visible<6->{\textbf{\leadsto{} yields \alert{~3500} benchmarks}}
+        \textbf{Now we have a baseline.}
     \end{center}
 \end{frame}