Understanding the function of the mind is like mapping the stars - the patterns reveal the purpose.
The aim of proof is to understand, not just to verify.