The Pennsylvania Supreme Court on Tuesday waded into the long-simmering question of whether the mandated form used to waive stacked auto insurance coverage properly puts a driver on notice that they are waiving coverage that could be stacked between two separate policies—a practice known as inter-policy stacking.

The issue, which came before the justices in Donovan v. State Farm, on a certified question posed by the U.S. Court of Appeals for the Third Circuit, comes in the wake of the justices’ high-profile 2019 decision in Gallagher v. Geico, which, in a break from precedent, had ruled that household exclusions can’t be used to bar stacking.