F1: Prove Monte Carlo