Obituaries: Michael T. Allen