9. The National Assembly must declare the completion of restocking by notice served on the occupier if—
(a)every introduced unvaccinated animal on the premises has undergone the examination and test in paragraph 5 with negative results and, where sub-paragraph 7(b) applies, the tests in that sub-paragraph have been carried out with negative results; or
(b)the conditions in paragraph (6) are satisfied.