Definitions and Proof