The Court considered whether the Tax Court may decide a dispute after the IRS is no longer pursuing the levy that produced the dispute. It held that the Tax Court’s statutory jurisdiction depends on an ongoing levy proceeding and does not extend to a dispute that has become moot because the IRS abandoned the levy.