Definition and Verification of Functions