Updated lemmata/README.md