It's easy to miss proofs that are "below the fold" of this section. By expanding the window, we'd be able to see everything that needs attention.