deletions | additions       diff --git a/3b5.tex b/3b5.tex  index f6de873..6ec1fd4 100644  --- a/3b5.tex  +++ b/3b5.tex 
...
\subsection{Variant decreases}  Prove that $I \a B \to \wp{V_1 := V; S;}{V S}{V  < V_1}$. \begin{equation}  \begin{split}