Added "Now suppose" to sub-proof text