Different Levels Of Proof