deletions | additions       diff --git a/Ex3.b.tex b/Ex3.b.tex  index e03f049..3ec89c7 100644  --- a/Ex3.b.tex  +++ b/Ex3.b.tex 
...
\begin{split}  Q &: \empty = \T\\  R &: res = n_0m_0\\  I &: res (res  + nm = n_0m_0\\ n_0m_0) \a (n \geq 0)\\  B &: 0 < n\\  V &: n\\  S &: \{ res, n := res + m, n - 1 \} 
...
\begin{equation}  \begin{split}  S_1 &= S_{11}; S_{12}\\  S_{11} &= res := 0\\  S_{12} &= \ie{n_0 \geq 0}{}\\  \end{split}  \end{equation}