-\section{Structure}
+\subsection{Structure}
%include talk.fmt
\frame{
\frametitle{Structure}
\end{itemize}
}
-\subsection{Size Inference}
+\subsubsection{Size Inference}
\frame{
\frametitle{Infer Size}
\begin{itemize}
\end{verbatim}
}
-\subsection{Size Specification}
+\subsubsection{Size Specification}
\frame{
\frametitle{Specify Size}
\begin{itemize}