Significant changes to the Implications chapter. Fixed a few chktex warnings.