"These proceedings are concluded, with our thanks to the litigants."