Condolences for Paul L. Ranum