Proof Updates ~ Proof Team