some editing in Section 4