a lazy deletion