Fix erase, and proof.