key employee

(3) Key employee For purposes of this section, the term “key employee” means any employee who, at any time during the plan year or any preceding plan year, is or was a key employee as defined in section 416(i).

Source

26 USC § 419A(d)(3)

---

Scoping language

For purposes of this section

---

Is this correct? or