prove_us_wrong_better