Stronger Proof