The Bureau of Land Management (BLM) approved four coal leases in Wyoming's Powder River Basin (North Hilight, South Hilight, North Porcupine, and South Porcupine) to extend the life of two existing surface mines: Black Thunder and North Antelope Rochelle. These mines account for approximately 19.7% of U.S. annual domestic coal production. The leases contain approximately two billion tons of recoverable coal and would extend mine operations by 4-9 years. In its Environmental Impact Statement (EIS) and Records of Decision (RODs), BLM concluded that issuing the leases would not result in higher national carbon dioxide emissions than declining to issue them, assuming that if the leases were not issued, the same amount of coal would be sourced from elsewhere (the "perfect substitution assumption"). WildEarth Guardians and Sierra Club challenged this conclusion, arguing BLM failed to adequately compare alternatives as required by NEPA and ignored basic supply and demand principles. Three of the four leases had already been issued and mining had commenced by the time of the appeal.