This page duplicates the case published at Bing v. United States (2023), decided May 19, 2023.