[+] add lemma provider