Proof checkpoint.
Fix erase.