erase proves