Words with Letters formalizers