Hi logiweb at diku.dk, Are you allowed to write the same definition of a lemma twice in your Logiweb document? (You may wish to do so in order to make the text easier to read for humans). By "definition of a lemma" I mean sometning like: "[ math in theory system prime s lemma xyz says (...) end lemma end math ]" Best Regards Frederik.