\begin{frame}[fragile,t]{Partial Correctness and Total Correctness}
  \vspace*{-1ex}
  \pcorrect{\pause}
  \pause
  
  \tcorrect{\pause}
\end{frame}