deletions | additions       diff --git a/Rules.tex b/Rules.tex  index 4b87e0f..d15aa56 100644  --- a/Rules.tex  +++ b/Rules.tex 
...
\begin{equation}  \begin{split}  \wp{x :=e}{R} &= R[x \mapsto e]\\  \wp{S1; S2}{R} &= \wp{S1 \wp{S2}{R}}\\  \wp{assert B}{R} \wp{S1}{\wp{S2}{R}}\\  \wp{\textbb{assert }B}{R}  &= B \a R\\ \end{split}  \end{equation}