Words with Letters formalisation