Done with section 10.4