Add a commented example and update Poly.v.