Text this: On the Symbolic Manipulation for the Cardinality of Certain Degree Polynomials