Added some to section 4.