Some more work on the proof of 3.3.

(Plus a minor addition to the proof of 2.1.)