8. In article 23(7)—
(a)in the definition of “DPRK export prohibition”, after paragraph (i) insert—
“(j)Article 16p”;
(b)in the definition of “DPRK import prohibition”—
(i)in paragraph (f) for “16a” substitute “16a(1)”;
(ii)after paragraph (h) insert—
“(i)Article 16j;
(j)Article 16k;
(k)Article 16l;
(l)Article 16m;
(m)Article 16n”.