Completed up to sec 7.3.2