Words with Letters mechanizations