12.19. Idiom Type