Before revision: Thus, the mathematician now knows that both assumptions were indeed necessary .
After revision: Thus, the mathematician now knows that each assumption by itself is insufficient .