Update Proof to 0.0.28.