More work on Implications chapter.