judge
(2) The term “judge” means the chief judge or a judge of the Tax Court; but such term does not include any individual performing judicial duties pursuant to subsection (c).
Source
26 USC § 7447(a)(2)
Scoping language
For purposes of this section
Is this correct?
or