deletions | additions       diff --git a/Ex3.b.tex b/Ex3.b.tex  index 4209df0..c3d88d3 100644  --- a/Ex3.b.tex  +++ b/Ex3.b.tex 
...
\begin{split}  Q &: \empty = \T\\  R &: res = n_0m_0\\  I &: res + nm = n_0m_0 & \text{I, invariant}\\  B &: 0 < n & \text{B, branch condition}\\  V &: n & \text{V, variant}\\  \end{split}  \end{equation}