Changed comments at the top of the Implications chapter.