That the Senate—
extends heartfelt sympathies to the family and friends of Justice John Paul Stevens;
commends Justice John Paul Stevens for his decades of service to the United States, including his nearly 35-year tenure on the Supreme Court of the United States; and
acknowledges the enormous contributions of Justice John Paul Stevens to the United States and to American law.