Words with Letters mechanized