diff --git a/img/absint.jpg b/img/absint.jpg
new file mode 100644
index 0000000..af41c49
Binary files /dev/null and b/img/absint.jpg differ
diff --git a/slides.tex b/slides.tex
index c32dce7..547eef9 100644
--- a/slides.tex
+++ b/slides.tex
@@ -14,6 +14,8 @@
 \usepackage{tikz}
 \setbeamertemplate{navigation symbols}{}
 
+\newcommand{\wrt}{\textit{wrt.}}
+
 \newcommand*\oldmacro{}%
 \let\oldmacro\insertshorttitle%
 \renewcommand*\insertshorttitle{%
@@ -123,6 +125,32 @@
 \section*{Conclusion}
 
 \begin{frame}{Conclusion}
+    \begin{columns}[c]
+        \column{.8 \textwidth}
+        \begin{exampleblock}{Pros}
+            \begin{itemize}
+                \item Opens the way for AbsInt formalism in JIT
+                \item Provides an (implemented?) framework for JIT study
+            \end{itemize}
+        \end{exampleblock}
+
+        \begin{alertblock}{Cons}
+            \begin{itemize}
+                \item Overly restrictive in JIT features, pretends otherwise
+                \item Unusably small toy language
+                \item Absurdly hard to read toy language
+                \item Proof \wrt{} some $\alpha$ which is not
+                    \textit{that much} realistic
+            \end{itemize}
+        \end{alertblock}
+
+        \column{.2 \textwidth}
+        \begin{figure}
+            \centering
+            \hspace*{-1em}
+            \includegraphics[width=1.4\textwidth]{img/absint.jpg}
+        \end{figure}
+    \end{columns}
 \end{frame}
 
 \end{document}