empty localref, localref for qed step