deletions | additions       diff --git a/Ex3b2.tex b/Ex3b2.tex  index 4b6a297..6a742c0 100644  --- a/Ex3b2.tex  +++ b/Ex3b2.tex 
...
\newcommand{\rule}[1]{\ (\mbb{§#1})}  \subsection{I holds after each execution of the loop}  We shall prove are proving  that $I \a B \to \wp{S}{I}$ \begin{equation}  \begin{split}