proving tagslist