Add tests for section 11.2