highly enriched uranium

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

Source

42 USC § 2142(b)(3)

---

Scoping language

As used in this section

---

Is this correct? or