Proof as Definition