deletions | additions       diff --git a/Ex2.tex b/Ex2.tex  index c1d7fa7..c9ad46e 100644  --- a/Ex2.tex  +++ b/Ex2.tex 
...
Given:  \begin{equation}  \begin{split}  Q &= x \neq y\\  R &= big > small  \end{split}  \end{equation} 
...
\end{split}  \end{equation}  But: This is not true for all $x, y \in \mbb{Z}$, specifically when $x = y$.  Therefore:  \begin{equation}  \begin{split} \begin{split}Q &= x \neq y\\  \end{split}  \end{equation}In other words, the postcondition holds for all possible preconditions.