... instantiation value of a polynomial?