Verification and Simplification