Hi Josef, Thanks for the rapid feedback. I'll look into this. One specific thing: >But this will generally happen often, references will be lemmas >proved/assumed in parent blocks, are you sure you do not want them? Ah, I was not clear enough, I see. Yes, _those_ I generally certainly want! I just meant that I don't want references to labels at "article top level" so outside _any_ block. Freek