Title: Reminiscences of Phillip Allen