experimental proofs