PolynomialProof tagslist