Obituary: Allen R. Pontz