Memorial Service Honoring Kenneth Appel, Paul and Felice Bateman, Donald Burkholder, and Robert Carroll