Plaintiff Therl Taylor filed three lawsuits raising a hodgepodge of claims against state prison officials. To give just three examples, he complained that an employee in the prison mailroom put staples in his Christmas cards, that another employee made poor-quality photocopies for him, and that still other prison officials violated the copyright laws by screening movies for inmates. A federal magistrate judge found his claims meritless; the district court agreed and dismissed all three actions. Taylor now seeks to appeal those decisions in forma pauperis -that is, without paying the required filing fee in full. By statute, however, he cannot appeal in forma pauperis if he has, on three or more "prior occasions," "brought" a civil action that was dismissed on certain specified grounds. 28 U.S.C. § 1915(g).1 The Defendants oppose his request.
Taylor's request turns on a straightforward issue of statutory interpretation: was each district-court action "brought" on a "prior occasion" from these appeals? The plain language of § 1915(g) 's "three-strikes" rule, as interpreted by the Supreme Court, provides an unambiguous answer: yes. That answer may be harsh, but as judges, we must still apply the statute as Congress wrote it. Therefore, I respectfully dissent.
A.
I begin by explaining why we are not bound by our decision in Henslee v. Keller , 681 F.3d 538 (4th Cir. 2012), which would require us to rule for Taylor if it remained in force. The plaintiff in Henslee had previously filed two actions that were dismissed on one of the grounds enumerated in § 1915(g), which made them strikes. The case on appeal had also been dismissed on one of the enumerated grounds. We therefore had to decide whether this third dismissal counted as a strike and thus precluded the inmate from appealing in forma pauperis . We concluded it did not, based our interpretation of the word "occasions." We reasoned, first, that "the word 'occasions' is ambiguous" because it could mean either "an appeal, independent of the underlying *621action, or ... the continuing claim, inclusive of both the action and its appeal." Id. at 542. We then concluded that the interpretation "which adheres most closely to Congress's dual intentions is one that includes both the appeal and its underlying action." Id. at 543. Accordingly, we held, a district-court dismissal cannot constitute a strike in an appeal from that dismissal. Id. If this holding were still binding, then Taylor would have only two strikes in each of the three cases on appeal, because one of his three dismissals (the one being appealed in that case) would not count.
In Coleman v. Tollefson , --- U.S. ----, 135 S. Ct. 1759, 191 L.Ed.2d 803 (2015), the Supreme Court rejected Henslee 's reasoning while considering different facts. The issue in Coleman was whether a district court dismissal in a separate lawsuit-not the lawsuit being appealed-counts as a strike when it is still pending on appeal. In addressing that issue, the Supreme Court quoted the key passage in Henslee identifying "occasions" as ambiguous. Id. at 1763. It then explained that Henslee was wrong, that "occasions" is not ambiguous, and that a district-court dismissal is a separate "occasion" from a subsequent appeal. Id. at 1763-64. The Supreme Court declined, however, to go beyond the facts before it and address the factual scenario in Henslee and these appeals, where one of the dismissals comes from the very case on appeal. Id. at 1764-65.
Prior circuit precedent is not binding if an intervening Supreme Court case has "specifically rejected the reasoning on which [the prior decision] was based." Qingyun Li v. Holder , 666 F.3d 147, 150 (4th Cir. 2011) (alteration in original) (quoting Etheridge v. Norfolk & W. Ry. Co. , 9 F.3d 1087, 1090-91 (4th Cir. 1993) ); see also United States v. Winston , 850 F.3d 677, 683 (4th Cir. 2017) (declining to follow prior panel opinion "undermined by later Supreme Court precedent" (citing United States v. Williams , 155 F.3d 418, 421 (4th Cir. 1998) )). This is so even when our prior precedent is directly on point. In Winston , for example, we confronted prior circuit precedent holding that Virginia common law robbery was a "violent felony" under the force clause of the Armed Career Criminal Act. 850 F.3d at 683 (citing United States v. Presley , 52 F.3d 64 (4th Cir. 1995) ). In an intervening decision, the Supreme Court had held that Florida criminal battery was not a violent felony and, in doing so, adopted an understanding of the force clause different from the one we had applied. See id. at 683-84 (citing Johnson v. United States , 559 U.S. 133, 130 S.Ct. 1265, 176 L.Ed.2d 1 (2010) ). We therefore revisited whether Virginia robbery was a violent felony, unbound by our earlier precedent. Id.
This rule of precedent plays an important role in protecting the rule of law. The modern Supreme Court proceeds mainly by writ of certiorari, choosing to hear only a handful of cases each year. If we continued to be bound by circuit precedent until the Supreme Court reached a different outcome on essentially the same facts, we would keep on multiplying our errors for a long time, sometimes for decades. Thus, whenever the Supreme Court has rejected the reasoning underlying our precedent, we must consider the issue anew, faithfully applying the Court's guidance. Every circuit has adopted some version of this rule, albeit with variations on our "specifically rejected" formulation.2
*622As a result, we are not bound by Henslee : even though Henslee addressed the exact question before us, Coleman explicitly said that Henslee 's reasoning was wrong. And Taylor is wrong when he argues for a different result just because the Supreme Court declined to address Henslee 's facts. The Supreme Court often declines to address hypothetical cases not before it, for the judicial function is to decide cases, not to render advisory opinions. Sometimes it expressly reserves such hypothetical cases; more typically it simply does not address them. But whether such a reservation is explicit or implicit does not matter when the Supreme Court has rejected our reasoning. Whatever the facts before us, we may not rely on a decision whose reasoning we now know is infirm. Taylor's suggested approach would be dangerous, undermining the rule of law by putting our court above the Supreme Court.
For the first six pages of their analysis, my colleagues in the Majority rightly ignore Henslee and analyze the issue before us de novo. Then, at the end, they contend that Coleman abrogated only part of Henslee 's reasoning and that we remain bound by the rest of it. This argument is a non sequitur . Coleman rejected Henslee 's conclusion that the word "occasions" is ambiguous. All that remains is Henslee 's analysis of how to interpret the text if it is ambiguous. I fail to see how this is relevant to my colleagues' opinion, because they nowhere conclude that the text is ambiguous. Rather, they claim the statute is "clear." Majority Op. at 617-18. As best I can tell, the Majority basically agrees with me that Henslee is not binding; my colleagues simply want to rely on certain policy arguments from Henslee . No matter what you think of those policy arguments, they are beside the point here.
B.
I now turn to the statute. The issue before us is whether each action below was "brought" on a "prior occasion" from these appeals. This issue can be broken down into two pieces: (1) Is a district-court action "brought" on a separate "occasion" from a subsequent appeal, or on the same "occasion"? (2) If the action and appeal do in fact represent separate occasions, is the district-court action a "prior" occasion?
The Supreme Court supplied the first piece in Coleman , holding that a district-court dismissal is a separate "occasion" from a subsequent appeal in the same case. It relied on the plain meaning of the word "occasion": " 'a particular occurrence,' a 'happening,' or an 'incident.' " Coleman, 135 S. Ct. at 1763 (quoting dictionary). A district-court action belongs to the same lawsuit as a later appeal, but it is *623plainly a different "happening" within that lawsuit.
The surrounding text reinforces this conclusion. The statute asks whether the inmate "has, on 3 or more prior occasions, while incarcerated or detained in any facility, brought an action or appeal" that was dismissed for a reason that makes it a strike. 28 U.S.C. § 1915(g) (emphases added). As the Coleman Court observed, the text is punctilious in distinguishing between an "action" and an "appeal," treating them as two different occasions. See 135 S. Ct. at 1763-64. Just as importantly, the text provides that the relevant "occasion" is the bringing of the action or appeal. A district-court action and an appeal are necessarily "brought" on two different occasions.
With this first piece set out, the second fits smoothly into place. If a district-court action and appeal are different "occasions," then the district-court action can only be a "prior" occasion. The word "prior" means "[p]receding in time or order." Prior , BLACK'S LAW DICTIONARY (10th ed. 2014). A district-court action precedes an appeal in both time and order: the appeal cannot proceed until the dismissal is final. 28 U.S.C. § 1291.3 The district-court action is therefore "prior" to the appeal in every conceivable sense of the word.
Thus construed, the statute clearly applies to this case. Taylor has, while incarcerated, "brought" a district-court action on three "occasions." Each occasion was "prior" to these appeals. And each action "was dismissed" for one of the grounds enumerated in the statute. So he cannot proceed in forma pauperis .
Taylor effectively asks us to create an exception from the statutory text where the third strike is the case on appeal. I cannot accede to that request. The statute does contemplate exceptions, just not the one he seeks. Congress provided an exception to § 1915(g) 's "three-strikes" rule where "the prisoner is under imminent danger of serious physical injury." 28 U.S.C. § 1915(g). Congress easily could, but did not, create another exception providing that an inmate can appeal from a third strike in forma pauperis . "When Congress provides exceptions in a statute, it does not follow that courts have authority to create others. The proper inference ... is that Congress considered the issue of exceptions and, in the end, limited the statute to the ones set forth." United States v. Johnson , 529 U.S. 53, 58, 120 S.Ct. 1114, 146 L.Ed.2d 39 (2000).
C.
Undeterred by the lack of a statutory exception supporting Taylor's position, my colleagues write one in. They admit that a district-court action is a "prior occasion" when viewed from the perspective of an appeals court in a different case- Coleman compels that result. But they insist that the phrase "prior occasion" means something different from the perspective of an appellate court in the same case.
I am not entirely sure how this interpretation works. At times, my colleagues suggest that the district-court action and the subsequent appeal are one and the same "occasion." They point out that we often "describe proceedings before the district court as part of 'this case,' not as a 'prior case.' " Majority Op. at 616-17. But the statute doesn't say "case." It says "occasion." This attempt to create slippage between "occasion" and "case" ultimately gets the Majority nowhere, because as *624Coleman held, a district-court action and a subsequent appeal are different "occasions" within the same case. Understandably reluctant to contradict Coleman , my colleagues never explicitly say that a district-court dismissal is the same "occasion" as an ensuing appeal.
Instead, my colleagues try to use the word "prior" to shoehorn their unwritten exception into the statute. A district-court action is a separate occasion, they seem to say, just not a prior occasion from where we sit. To accept this, one would have to posit that the district-court action occurs simultaneously with our review on appeal. But while both we and the district court review the same issues, we do not review them simultaneously: the district court handles the case first, and only once its proceedings are final do we check its work. And we know from Coleman that these two occasions are not simultaneous from the perspective of a different court (or even a different panel of the same court) viewing the same proceedings. I see nothing in the statute to support the idea that two separate occasions can occur at different points in time from the perspective of one panel, but at the same time from the perspective of another.4
Hoping to bolster their interpretation, my colleagues rely on the canon against surplusage. "Prior" is largely redundant in the Defendants' interpretation of the statute.5 We can give "prior" meaning, so the argument goes, by reading it to say that the dismissal must occur in a "prior" lawsuit. See Brief for the United States as Amicus Curiae at 25-27, Coleman v. Tollefson , 135 S. Ct. 1759 (No. 13-1333), 2015 WL 272362.
Yet the "canon against surplusage is not an absolute rule." Marx v. Gen. Revenue Corp. , 568 U.S. 371, 385, 133 S.Ct. 1166, 185 L.Ed.2d 242 (2013). Many statutes use redundant words: "have and hold," 16 U.S.C. § 445a, "claim or cause of action," 28 U.S.C. § 1452, "release and discharge," 30 U.S.C. § 187a, "perfectly null and void," 43 U.S.C. § 859 -and so on and so forth. As a result, "there are instances in which a court may validly 'prefer ordinary meaning to an unusual meaning that will avoid surplusage.' " Oak Grove Res., LLC v. Director, OWCP , 920 F.3d 1283, 1291 (11th Cir. 2019) (quoting ANTONIN SCALIA & BRYAN A. GARNER, READING LAW § 26, at 176 (2012)). Certainly, a court should not give a word an entirely fanciful meaning to avoid a minor redundancy.
*625Here, the surplusage argument distorts "prior" beyond all recognition, assigning that word a meaning it lacks. The word "prior" does not even remotely suggest that a district-court dismissal must have occurred in a different lawsuit to count as a strike. Indeed, this argument is nothing more than an end-run around Coleman : it tries to use the word "prior" to show that the relevant "occasion" is the entire lawsuit (that is, the district-court action and subsequent appeal together), the very interpretation that Coleman rejected.
Instead of misreading "prior," we should just admit that Congress used a redundant word. That is hardly surprising: redundant uses of "prior" abound. See Redundancies , GRAMMARIST , https://grammarist.com/redundancies/ (last visited July 17, 2019) (noting that the oft-used phrase "prior experience" is usually redundant because almost all experience is "prior"). Even judicial opinions sometimes fall victim, for example by referring to someone's "prior history," a phrase that is almost always redundant because history necessarily takes place in the past. United States v. Thomas , 669 F.3d 421, 427 (4th Cir. 2012) ; see also Diamond v. Colonial Life & Accident Ins. Co. , 416 F.3d 310, 319 (4th Cir. 2005) (referring to job applicants' "prior management experience"). Similarly, courts often refer to "prior precedent" even though precedent is, quite literally, that which "precedes." E.g. , United States v. Hargrove , 478 F.3d 195, 204 (4th Cir. 2007).6 The only reasonable conclusion is that Congress committed a similar redundancy here.
The Majority also suggests that we should construe § 1915(g) narrowly to avoid restrictions on our appellate review. This suggestion has no basis in law. True, there is a substantive canon requiring an express statement to oust courts of appellate jurisdiction. See, e.g. , United States v. Am. Bell Tel. Co. , 159 U.S. 548, 549-50, 16 S.Ct. 69, 40 L.Ed. 255 (1895). But see SCALIA & GARNER , supra , § 65, at 367-68 (criticizing this rule). Yet this case is not about our appellate jurisdiction, just Taylor's ability to proceed without paying the filing fee in advance. See Blakely v. Wards , 738 F.3d 607, 612 (4th Cir. 2013) (en banc) (" Section 1915(g) is a limitation on prisoners' rights, not on courts' authority."); Lisenby v. Lear , 674 F.3d 259, 263 (4th Cir. 2012) (holding § 1915(g) is "procedural, not jurisdictional, in nature"). There is no recognized canon of construction requiring us to narrowly construe Congress's restrictions on in forma pauperis appeals. See United States v. Kras , 409 U.S. 434, 450, 93 S.Ct. 631, 34 L.Ed.2d 626 (1973) (explaining that there is no "unlimited rule that an indigent at all times and in all cases has the right to relief without the payment of fees"). Any such rule would be inconsistent with Coleman , which did not read § 1915(g) narrowly but rather followed the plain and natural meaning of the text.
In addition, the Majority reasons, this case can be distinguished from Coleman based on "the way in which the law ordinarily treats trial court judgments." 135 S. Ct. at 1764. A trial-court judgment has preclusive effect on other actions immediately, before it is appealed. By contrast, a trial-court judgment has no preclusive effect on an appeal from that very judgment. Yet this distinction makes no difference. This point was an afterthought in the Coleman Court's analysis, serving merely to *626confirm its "literal reading" of the statute. Id. Courts often gild the lily in this way, providing policy arguments to confirm a statutory interpretation compelled by the text alone. The simple fact is that nothing in Coleman 's textual reading of § 1915(g) turned on issues of finality and preclusion, because the text says nothing about those issues. So this distinction gives me no reason to change my interpretation of the statute. Even on its own terms, my colleagues' proposed distinction fails, because it ignores another relevant sense of "finality": the one provided by 28 U.S.C. § 1291. Each dismissal below was "final" for purposes of appeal, and each action "was dismissed" unless and until we vacate or reverse the district court's order.
Similarly, while this particular case does not implicate Coleman 's concern that § 1915(g) might turn into a "leaky filter," that provides no reason to deviate from statutory text. While putting a big gash in a filter can make it leaky, so can punching out a bunch of small holes. Thus, this proposed distinction does not hold water: if it did, then judges could riddle the statute with unauthorized exceptions that let through one meritless prisoner lawsuit after another.
D.
Finally, my colleagues "do not believe Congress intended a scheme that would produce such an arbitrary result" as the one in this case. Majority Op. at 618. While I sympathize with my colleagues' concern that the statute commands a harsh result, I do not see that as a reason to rewrite it.
Consider what Congress was trying to accomplish here. The in forma pauperis statute seeks to balance two competing goals: on the one hand, affording poor people easier access to the courts, and on the other, shielding the courts from the never-ending deluge of meritless prisoner litigation. Congress is uniquely positioned to balance open-ended policy goals of this type, and our role as judges is to discern the balance Congress struck by faithfully interpreting the statutory text. Still, Congress could have left much of the balancing to us, adopting a loose standard with broad room for judicial discretion. Instead, it gave us concrete rules. One of them-designed to address the problem of "serial filers"-is the "three-strikes" rule of § 1915(g).
Rules of this sort are invariably over- and under-inclusive, appearing harsh in some cases and lenient in others. As a result, my colleagues' concern to avoid an "arbitrary" interpretation misses the point. A "three-strikes" rule is arbitrary almost by definition. Why not four strikes? Or five? Or fifteen? The answer may simply be that many members of Congress are baseball fans. From our perspective, it does not matter. Congress decided to draw the line at three, and our sole job is to count. When we do, it becomes clear that Taylor already has three strikes and may not proceed without paying the filing fee. And even under my colleagues' interpretation, Taylor would be barred from proceeding in forma pauperis if there were four district-court actions on appeal.7 Somehow, three is unacceptably "arbitrary," but four is just fine.
*627The real force of my colleagues' reasoning is that the statute as written seems too harsh: inmates will have to pay the filing fee, which many of them cannot afford, to get appellate review of whether their third strike was proper. I too have sympathy for inmates in that position. Indeed, the statute is particularly harsh here, because all three dismissals were handed down on the same day, leaving Taylor unable to appeal any of them in forma pauperis . But the statute says what it says, and it is Congress's job-not ours-to rewrite it if it produces unduly harsh results. Taylor asks us to do just that, and my good colleagues in the Majority indulge that request. I would follow the statute and require Taylor to pay the full filing fee. For that reason, I respectfully dissent.
28 U.S.C. § 1915(g) :
In no event shall a prisoner bring a civil action or appeal a judgment in a civil action or proceeding under this section if the prisoner has, on 3 or more prior occasions, while incarcerated or detained in any facility, brought an action or appeal in a court of the United States that was dismissed on the grounds that it is frivolous, malicious, or fails to state a claim upon which relief may be granted, unless the prisoner is under imminent danger of serious physical injury.
See, e.g. , Mongeau v. City of Marlborough , 492 F.3d 14, 18 (1st Cir. 2007) ("undermined"); United States v. Robbins , 729 F.3d 131, 134 (2d Cir. 2013) ("casts doubt"); United States v. Tann , 577 F.3d 533, 541 (3d Cir. 2009) ("conflicts with"); Martin v. Medtronic, Inc. , 254 F.3d 573, 577 (5th Cir. 2001) ("implicitly overrules"); United States v. White , 920 F.3d 1109, 1113 (6th Cir. 2019) ("undercut or abrogated"); United States v. Walton , 255 F.3d 437, 443 (7th Cir. 2001) ("undermined"); Northport Health Servs. of Arkansas, LLC v. Rutherford , 605 F.3d 483, 489 (8th Cir. 2010) ("undermines"); Miller v. Gammie , 335 F.3d 889, 900 (9th Cir. 2003) (en banc) ("undercut"); Auraria Student Hous. at the Regency, LLC v. Campus Vill. Apartments, LLC , 843 F.3d 1225, 1235 (10th Cir. 2016) ("undermines"); United States v. Madden , 733 F.3d 1314, 1319 (11th Cir. 2013) ("substantially undermined"); Davis v. U.S. Sentencing Comm'n , 716 F.3d 660, 664 (D.C. Cir. 2013) ("eviscerated"); Troy v. Samson Mfg. Corp. , 758 F.3d 1322, 1326 (Fed. Cir. 2014) ("undercut"). What is true of our own precedent is not true of the Supreme Court's: we follow on-point Supreme Court precedent even when its reasoning has been undermined by a later Supreme Court decision, waiting for the Supreme Court to overrule itself. See, e.g. , United States v. Sterling , 724 F.3d 482, 501-02 (4th Cir. 2013) (citing Rodriguez de Quijas v. Shearson/Am. Express, Inc. , 490 U.S. 477, 484, 109 S.Ct. 1917, 104 L.Ed.2d 526 (1989) ). This difference reflects the Supreme Court's supremacy over our court.
What about interlocutory appeals? We need not concern ourselves with them, for all "strikes" are final orders: the text requires a dismissal of the entire "action" for one of the specified grounds, which is necessarily "final" for purposes of § 1291.
According to Einstein's special theory of relativity, two events separated in space can occur at the same time from the perspective of one observer, but at different times from the perspective of an observer in another inertial reference frame. Einstein was right, and many experiments have borne out his predictions. But these relativistic effects are negligible at everyday speeds, so it is hard to think that Congress legislated with them in mind. After all, the Ninth Circuit doesn't observe our court's proceedings from a spaceship zooming past us at half the speed of light. Litigation just doesn't move that fast. Cf. Texas Nat'l Bank v. Sandia Mortg. Corp. , 872 F.2d 692, 700 n.4 (5th Cir. 1989) (explaining that the "judicial system is sufficiently lethargic so as to minimize the inaccuracies of Newtonian Mechanics").
I agree with the Majority that the statute provides, independently of the word prior, that each dismissal must occur before the appeal is filed. The statute forbids an inmate to "bring a civil action or appeal a judgment in a civil action or proceeding under this section" if each of three prior actions or appeals "was dismissed" for one of the specified grounds. 28 U.S.C. § 1915(g) (emphases added). In context, the verb "appeal" is most naturally read to refer to the filing of the appeal. So when the statute uses the past tense ("was dismissed"), it tells us that each dismissal must come before filing.
Some readers may have noticed that page three of this opinion, above, contains at least four different variations on "prior precedent." But I suspect many missed it, precisely because this minor redundancy is unremarkable. Those who did notice surely did not conclude that "prior" must have some alternative meaning.
This is a consequence of the Supreme Court's holding in Coleman . Suppose that four dismissals had become final on the same day, and that Taylor appealed all four of them the following day. In each appeal, the dismissals in the other three cases would immediately count as strikes under Coleman . The Majority's holding would save only one of the four dismissals from counting as a strike in each appeal.