More Poly proofs