\frametitle{Proof Rules for Partial Correctness}
\vspace*{-1ex}
  \begin{goal}{}
    \begin{tgather}