. . . "as the application, type is a type of" . .