There was no name definition found for de Hoog.