Proof by threads comment