Browsing: witness elimination