Basic case of erase
Special case of erase
Finished public interface for erase