NumberedPolynomialDSL1