Proof of the experiments