Lemma-register by Trimp