Adding some more to Poly.v