proof analysis tagslist