A3 Definitions and Proof