"executive management committee"
means the executive management committee referred to in
section 9
;