present value of all benefits payable from the Tax Court Judicial Officers’ Retirement Fund, over (ii) the sum of— (I) the present value of future deductions to be withheld under this section from the basic pay of magistrate judges of the Tax Court, plus (II) the balance in such Fund as of the close of such fiscal year. (d) Participation in Thrift Savings Plan (1) Election to contribute A magistrate judge of the Tax Court may elect to contribute out of such individual’s basic pay to the Thrift Savings Fund established by section 8437 of title 5, United States Code. (2) Applicability of title 5 provisions Except as otherwise provided in this subsection, the provisions of subchapters III and VII of chapter 84 of such title 5 shall apply with respect to a magistrate judge of the Tax Court who makes an election under paragraph (1). (3) Special rules (A) Amount contributed The amount contributed by a magistrate judge of the Tax Court to the Thrift Savings Plan in any pay period shall not exceed the maximum percentage of such magistrate judge’s basic pay for such period as allowable under section 8440f of such title 5. (B) Contributions for benefit of magistrate judge of the Tax Court No contributions under section 8432(c) of such title 5 shall be made for the benefit of a magistrate judge of the Tax Court who has filed an election to receive an annuity under this section. (C) Applicability of rules relating to annuity of a child Section 8433(b) of such title 5 applies with respect to a magistrate judge of the Tax Court who makes an election under paragraph (1) and who— (i) retires entitled to an immediate annuity under this section (including a disability annuity under this section), (ii) retires before attaining age 65 but is entitled, upon attaining age 65, to an annuity under this section, or (iii) retires before becoming entitled to an immediate annuity, or an annuity upon attaining age 65, under this section. (D) Retirement as separation from service With respect to a magistrate judge of the Tax Court to whom