heavy petroleum fuel oil

(7) The term “heavy petroleum fuel oil” means number 4, 5, or 6 fuel oil which is domestically refined.

Source

15 USC § 717y(e)(7)

---

Scoping language

For purposes of this section

---

Is this correct? or