Idioms of this kind provide a syntactic frame or template into which different lexical items can be inserted. An example of a formal idiom is the let alone construction. The template provided by this construction can be filled with all sorts of lexical items. In other words, this type of idiom is productive. Formal idioms contrast with substantive idioms.