A proof is a repeatable experiment in persuasion.