Proof and Tools