Definition of Verification