Added labels for lemmas