Many additions to the Implications chapter.