Words with Letters formalization