Key legal question
Whether the federal proceedings should be discontinued after withdrawal of the appeal
Extracted holding
The proceedings were discontinued as withdrawn by the appellants.
Extracted reasoning
Once the appellants withdrew their submission, the President had to strike the case off the docket under the applicable federal procedural rules.