work on identical lemma linker