Poly: Adds proofs up to partition.