Proof Updates ~ #blog