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