Copyedited draft (up to line 4015).