\begin{frame}{Complexity Hierarchy}
  \begin{goal}{}
    \begin{center}
    \includegraphics{nexp.pdf}
    \end{center}
    \vspace{-2ex}
  \end{goal}
  \medskip
  
  The following inclusions are known to be strict:
  \begin{talign}
    \text{P} &\neq \text{EXP} &
    \text{NP} &\neq \text{NEXP} &
    \text{PSpace} &\neq \text{EXPSpace}
  \end{talign}
\end{frame}