The past is a foreign country; they do things differently there.
The aim of proof is to understand, not just to verify.