Title: Allen M. Hart in Retrospect