Simplification and Proof