delivered the opinion of the Court.
This appeal involves the interpretation of a tax-refund statute, Code § 58.1-1826, which provides in pertinent part as follows:
If the court is satisfied that the applicant is erroneously or improperly assessed with any taxes, the court may order that the assessment be corrected. If the assessment exceeds the proper amount, the court may order that the applicant be exonerated from the payment of so much as is erroneously or improperly charged, if not already paid and, if paid, that it be refunded to him. If the assessment is less than the proper *187 amount, the court shall order that the applicant pay the proper taxes ....
The question for decision is whether the trial court erred in denying refunds for taxes erroneously or improperly collected for pension income received by federal retirees. The question is presented against the following factual and legal background.
On March 28, 1989, in
Davis v. Michigan Dept. of Treasury,
Virginia similarly exempted the pension income of retired state and local government employees, but not the pension income of retired federal employees. Following Davis, the Virginia General Assembly repealed the exemption for state and local employees, Acts 1989, Spec. Sess. II, c. 3, but made no provision at the time for the relief of federal retirees for the taxes they had paid prior to Davis. 2
Also in 1989, Henry Harper and Lawrence and Miriam Lewy, along with numerous other federal pensioners, brought proceedings in several Virginia circuit courts seeking refunds of taxes paid since 1985 on income from civil service annuities or pensions for federal employment or military duty. The several proceedings were consolidated into one action in the Circuit Court of the City of Alexandria, where the matter has been litigated, and the case is *188 before this Court for the third time. The Circuit Court of the City of Alexandria will be referred to hereinafter as the trial court; the plaintiffs in the consolidated action will be referred to collectively as Harper or the Harper taxpayers; and the Virginia Department of Taxation will be referred to as the Department.
In the initial proceeding below, the trial court ruled that
Davis
should be applied only prospectively and denied the refunds sought by Harper. We awarded Harper an appeal and affirmed the judgment of the trial court, holding that
Davis
should not “be applied retroactively” and that “state law does not require tax refunds, but to the contrary, grants prospective-only application to decisions that invalidate a taxing scheme.”
Harper
v.
Virginia Dept. of Taxation,
The Supreme Court granted certiorari, vacated our judgment, and remanded the case “for further consideration in light of
James B. Beam Distilling Co.
v.
Georgia,
[
The Supreme Court again granted certiorari.
Harper
v.
Virginia Dept. of Taxation,
The Court reversed our judgment, but did not enter judgment for the Harper taxpayers because, it said, “federal law does not necessarily entitle them to a refund.” 509 U.S. at_,
The Court remanded the case to this Court “for further proceedings not inconsistent with [its] opinion.”
Harper II,
509 U.S. at_,
The trial court ruled that Virginia does provide a taxpayer a meaningful predeprivation opportunity to challenge a tax, sufficient to satisfy due process, in the form of a declaratory judgment proceeding brought under Code § 8.01-184. The trial court ruled further that, assuming there had been no due process violation, Virginia’s refund statute, Code § 58.1-1826, did not mandate refunds to the taxpayers in the present case because the statute vests courts with discretion in determining whether refunds should be ordered. Accordingly, the trial court denied Harper’s request for refunds.
We awarded Harper an appeal. Harper argues that because a court exercises discretion in determining whether to entertain requests for declaratory judgments,
Haughton v. Lankford,
189 Va.
*190
183, 198,
Hence, Harper asserts, under McKesson and Harper II, due process obligates Virginia to provide meaningful backward-looking relief, in the form of a clear and certain remedy, to rectify an unconstitutional assessment of taxes. Harper says that we have interpreted language in the statutory ancestor of Code § 58.1-1826 as mandating the refund of taxes illegally collected and, therefore, that § 58.1-1826 provides the backward-looking relief due process requires. Accordingly, Harper concludes, it was error for the trial court to refuse to apply § 58.1-1826 and order refunds in this case.
The Department argues on the other hand that Virginia’s declaratory judgment proceeding provided the Harper taxpayers an adequate and meaningful predeprivation opportunity to challenge the validity of the taxes in dispute, yet they failed to avail themselves of the opportunity. Hence, the Department concludes, the requirements of due process are satisfied, and Virginia is not required to provide any backward-looking relief in the form of refunds.
With respect to Code § 58.1-1826, the Department contends that use of the word “may” in the statute denotes the exercise of discretion in the ordering of refunds. The Department makes this argument:
If the assessment is below the proper amount, the court “shall” order the payment of the taxes. The court has no discretion. If the assessment is above the proper amount, the court “may” order the refunds of the taxes. The court is clothed with discretion in regard to refunds. There is no other explanation for the legislature’s choice of “shall” and “may” within § 58.1-1826.
Hence, the Department concludes, § 58.1-1826 “simply cannot be read as a legislatively mandated ‘entitlement’ to refunds,” and the trial court did not err in refusing to order refunds.
Finally, the parties debate the effect of a decision of the Supreme Court announced after the trial court decided the present case. In
Reich
v.
Collins,
513 U.S._,
The Georgia trial court denied Reich’s request for a refund, and the Supreme Court of Georgia affirmed, holding that the refund statute did not “apply to ‘the situation where the law under which the taxes are assessed and collected is itself subsequently declared to be unconstitutional or otherwise invalid.’ ”
Id.
(quoting
Reich
v. Collins,
On remand, the Supreme Court of Georgia again denied Reich’s request for a refund, this time holding that Georgia’s predeprivation remedies were ample to provide a “ ‘meaningful opportunity [, sufficient for due process purposes,] for taxpayers to withhold contested tax assessments and to challenge their validity.’ ”
Reich
v.
Collins,
But, the Court said,
what a State may not do, and what Georgia did here, is to reconfigure its scheme, unfairly, in midcourse — to “bait and switch,” as some have described it. Specifically, in the mid-1980’s, Georgia held out what plainly appeared to be a “clear and certain” postdeprivation remedy, in the form of *192 its tax refund statute, and then declared, only after Reich and others had paid the disputed taxes, that no such remedy exists.
Id.
The Department argues that Reich is inapplicable here. The Department points out the mandate in the Georgia statute that “[a] taxpayer shall be refunded any and all taxes . . . which are determined to have been erroneously or illegally assessed and collected.” (Emphasis added.) The Department then says that “[d] espite this mandatory language, . . . the Georgia Supreme Court ruled, apparently for the first time and in conflict with its own precedent, that its statute would not apply to cases ‘where the law under which the taxes are assessed and collected is itself subsequently declared to be unconstitutional.’ ” It was this ruling, the Department states, that prompted the United States Supreme Court in Reich to use the “bait and switch” terminology and to note that “no reasonable taxpayer would have read the ‘illegally collected’ statutory language to exclude constitutional decisions.”
“Unlike the Georgia law,” the Department maintains, “the Virginia statute provides in plain language that ‘the court may order that any amount which has been improperly collected’ be refunded to the taxpayer.” The Department asserts that “[n]o reasonable taxpayer can claim he was misled by the clear and unequivocal language of this discretionary statute.” Furthermore, the Department says, “unlike the Georgia Court, this Court has not ‘reconfigured’ Virginia law by adding a judicial gloss to the clear language of § 58.1-1826, or by failing to follow its own precedent.” Hence, the Department concludes, “[i]t is clear that Reich has no application and, in fact, is completely distinguishable from the litigation in Virginia.”
We disagree with the Department. We think
Reich
is applicable and cannot be distinguished. If, as Harper contends, we have previously interpreted the statutory ancestor of Code § 58.1-1826 as mandating a refund of taxes illegally collected but we now adopt, for the first time, the Department’s view that a refund is discretionary, we certainly will have done what the Supreme Court said in
Reich
a state may
not
do, that is “to reconfigure its scheme, unfairly, in
midcourse
— to ‘bait and switch.’ ”513 U.S. at_,
*193
Harper is correct in saying that we have interpreted the statutory ancestor of Code § 58.1-1826 as mandating the refund of taxes illegally collected.
Hotel Richmond Corp.
v.
Commonwealth,
If the court be satisfied that the applicant is erroneously assessed with any taxes, and that the erroneous assessment was not caused by the failure or refusal of the applicant to furnish a list of his property, real and personal, to the commissioner, on oath, as the law requires; or that the applicant is erroneously charged with a license tax, and that the erroneous assessment was not caused by the failure or refusal of the applicant to furnish the commissioner, on oath, with the necessary information, as required by law, in either case the court may order that the assessment be corrected. If the assessment exceeds the proper amount, the court may order that the applicant be exonerated from the payment of so much as is erroneously charged, if not already paid, and if paid, that it be refunded to him. If the assessment be less than the proper amount, the court shall order that the applicant pay the proper taxes.
(Emphasis added.) The taxpayer, Hotel Richmond, sought refund of a license tax it claimed had been erroneously assessed. The Commonwealth defended on the ground that the tax had been paid voluntarily. Responding to the Commonwealth’s defense, this Court made the following statements:
[W]e [do not] question the well-settled doctrine that a voluntary payment of money, under a mistake of law, lays no foundation for an action to recover back the money so paid. This principle, however, has, in our opinion, no application to a proceeding, like the present, under a statute which expressly provides that, when certain conditions are complied with, the citizen shall be refunded a tax paid by him which was erroneously assessed against him.
*194 The statute in plain terms prescribes the conditions upon which the erroneous assessment shall be refunded, and it nowhere intimates that if the applicant for relief has paid the tax voluntarily he cannot have the same refunded. . . . The plaintiffs in error have complied with every requirement of the statute, and are, therefore, entitled to have the erroneous license tax paid by them . . . refunded.
Id.
at 610-11,
The cases . . . cited in support of the contention that a tax voluntarily paid cannot be recovered back . . . are, in our opinion, not in conflict with the conclusion reached in the present case, where the erroneous tax which has been paid is restored to the aggrieved citizen by virtue of a plain statute, which provides that it shall be refunded.
Id.
at 611,
The Department dismisses Hotel Richmond as “not on point” because the issue in the case was whether voluntary payment of the license tax defeated the right to a refund, not whether a refund was mandatory. However, the language in the opinion explaining the mandatory nature of the refund statute was part of the rationale employed to reach the conclusion that voluntary payment does not defeat the right to a refund. In other words, had the Court considered refunds discretionary and not mandatory, the clear implication is that voluntary payment would have defeated the right to a refund. Hence, the language dealing with the mandatory nature of the refund statute was necessary to the Court’s decision, and the case is “on point.”
It is obvious that the Court in
Hotel Richmond
treated the word “may” in the refund statute as “shall.” This treatment was in accordance with the rule that “‘[t]he word “may” is
prima facie
permissive, importing discretion, but the courts construe it to be mandatory when it is necessary to accomplish the manifest purpose of the Legislature.’ ”
Caputo
v.
Holt,
The Department says that “[t]he manifest purpose of § 58.1-1826 is to grant the courts the authority to deny refunds in *195 the appropriate case.” We disagree. We think § 58.1-1826 was enacted for a different purpose:
It must be remembered . . . that the [refund] statute is remedial, and that its avowed purpose is to provide an expeditious and inexpensive remedy for relief against taxes which have been erroneously assessed or collected, and that remedial statutes are not strictly construed, but are given a liberal construction with the view of advancing the remedy sought to be applied in accordance with the true intent and purpose of the legislature.
Commonwealth
v.
Smallwood Memorial Inst.,
In practical and legal effect, the language of § 568 is identical to the wording of present § 58.1-1826, even to the extent that the two enactments employ both “may” and “shall.” Yet, this Court in Hotel Richmond had no difficulty in giving mandatory effect to both words in interpreting § 568. The case has remained unchanged as the law of this Commonwealth for almost eighty years. To avoid doing what Reich teaches a state may not do, that is, to “bait and switch” by reconfiguring its tax scheme midcourse, we reaffirm Hotel Richmond’s treatment of the word “may” in the tax refund statute as mandatory.
This leaves for decision the question of Reich's effect upon the Department’s argument that Virginia’s declaratory judgment action provides taxpayers an adequate and meaningful opportunity to withhold contested tax assessments and to challenge their validity in a predeprivation hearing and that the Commonwealth is not required, therefore, to provide backward-looking relief in the form of refunds. The Department says that the Supreme Court in Reich “did not even address the issue of predeprivation remedies.” However, the Department overlooks this important passage from the Reich opinion:
[T]he Georgia Supreme Court’s reliance on Georgia’s predeprivation procedures was entirely beside the point (and thus error), because even assuming the constitutional adequacy of these procedures — an issue on which we express *196 no view — no reasonable taxpayer would have thought that they represented, in light of the apparent applicability of the refund statute, the exclusive remedy for unlawful taxes.
513 U.S. at_,
Given the clear applicability of Code § 58.1-1826, we are of opinion that no reasonable taxpayer would have thought that a declaratory judgment proceeding, even assuming its constitutional adequacy — an issue upon which we express no view — represented the exclusive remedy for relief from unlawful taxes in Virginia. Accordingly, it would be “entirely beside the point (and thus error),”
Reich,
513 U.S. at_,
Alternatively, the Department argues that in addition to the predeprivation remedy of declaratory judgment, the Harper taxpayers had a second predeprivation remedy available to them in the form of an administrative procedure provided by Code §§ 58.1-1821 and -1822. The Department prays that, if we do not affirm the judgment of the trial court, we remand the case for a resolution of the sufficiency of the administrative remedies. However, any reliance upon these remedies would be beside the point, and thus error, for the same reason that any reliance upon the declaratory judgment procedure would be beside the point, and thus error. In view of the clear applicability of Code § 58.1-1826, no reasonable taxpayer would have thought that the administrative procedure represented the exclusive remedy for relief from unlawful taxes. Therefore, we deny the Department’s prayer.
Finally, the Department argues that, by authorizing the refund of only so much of the amount paid as is erroneous or improper, Code § 58.1-1826 “commands that any refund ordered must be limited to the amount necessary to correct the error (here, the difference between the amount that plaintiffs actually paid in taxes and the amount they would have paid had the state also taxed state pensioners, to be determined in a subsequent evidentiary hearing).” The Department requests that we remand the case for such a hearing.
We decline the request.
Harper II
teaches that “[i]n providing [meaningful backward-looking] relief, a State may either award full refunds to those burdened by an unlawful tax or issue
*197
some other order that ‘create [s] in hindsight a nondiscriminatory scheme.’”
Giving Reich its full effect, we reach the inevitable conclusion that the Harper taxpayers are entitled to full refunds. Accordingly, we will reverse the judgment of the trial court and enter final judgment in favor of the Harper taxpayers directing that the amounts unlawfully collected from them be refunded, with interest as provided in Code § 58.1-1833.
Reversed and final judgment.
Notes
In 1994, the General Assembly enacted the Federal Retirees Settlement Program. Acts 1994, Spec. Sess. I, c. 5. This legislation authorized the Tax Commissioner “to make settlement payments to taxpayers to resolve disputed claims for refunds of taxes paid with respect to retirement or pension benefits received from a federal retirement system ... for any taxable year beginning on or after January 1, 1985, and ending on or before December 31, 1988.” The legislation provided that “[t]he taxpayers shall be given the option of whether they want to participate in the settlement” and “[tjhose who do not want to participate will have the option of having their entitlement to refunds determined by existing litigation or filing suit themselves.” The Harper taxpayers have exercised the latter option and seek to have their entitlement to refunds determined in the present litigation.
