highly enriched uranium

(2) the term “highly enriched uranium” means uranium enriched to 20 percent or more in the isotope U–235;

Source

42 USC § 2160d(h)(2)

---

Scoping language

As used in this section

---

Is this correct? or