Definition of "Hoffman"