Obituary of Howard E. Allen