Changes to edit the E_0 part of the Implications chapter.