In a tax dispute involving the application of a time-barred tax liability to a refund, trial court judgment in favor of the IRS is affirmed because the IRS can recalculate tax liability for a year beyond the statute of limitations in order to determine whether excess tax credits can be carried back to previous years to support a refund.