Proof and cleanup