judge’s salary
(4) The term “judge’s salary” means the salary of a judge received under section 7443(c), retired pay received under section 7447(d), and compensation (in lieu of retired pay) received under section 7447(c).
Source
26 USC § 7448(a)(4)
Scoping language
For purposes of this section
Is this correct?
or