Added polynomial multiplication + provenance query