A proof is a repeatable experiment in persuasion.
The main thing is to keep the main thing the main thing.