Proof and experimental establishment of what?