Words with Letters formularized