26 U.S.C. § 1383: Computation of tax where cooperative redeems nonqualified written notices of allocation or nonqualified per-unit retain certificates

the tax for the taxable year computed with such deduction; or the tax for the taxable year computed without such deduction, minus the decrease in tax under this chapter for any prior taxable year (or years) which would result solely from treating such nonqualified written notices of allocation or nonqualified per-unit retain certificates as qualified written notices of allocation or qualified per-unit retain certificates (as the case may be). If the decrease in tax ascertained under subsection (a)(2)(B) exceeds the tax for the taxable year (computed without the deduction described in subsection (a)) such excess shall be considered to be a payment of tax on the last day prescribed by law for the payment of tax for the taxable year, and shall be refunded or credited in the same manner as if it were an overpayment for such taxable year. For purposes of determining the decrease in tax under subsection (a)(2)(B), the stated dollar amount of any nonqualified written notice of allocation or nonqualified per-unit retain certificate which is to be treated under such subsection as a qualified written notice of allocation or qualified per-unit retain certificate (as the case may be) shall be the amount paid in redemption of such written notice of allocation or per-unit retain certificate which is allowable as a deduction under section 1382(b)(2) or (4), or (c)(2)(B) for the taxable year. If the tax imposed by this chapter for the taxable year is the amount determined under subsection (a)(2), then the deduction described in subsection (a) shall not be taken into account for any purpose of this subtitle other than for purposes of this section.