deletions | additions       diff --git a/Ex2.tex b/Ex2.tex  index adbbe80..a07e44a 100644  --- a/Ex2.tex  +++ b/Ex2.tex 
...
\end{split}  \end{equation}  In other words, the post condition postcondition  holds for all possible pre conditions. preconditions.