Proof round 2