Obituaries: William G. Miller