"Frank Allen: An Appreciation"