Cut and paste proofs.