Proof round 3