What does proof serve to validate? (AHL concept)