Words with Letters provability